{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:58Z","timestamp":1725564898974},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_28","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"474-483","source":"Crossref","is-referenced-by-count":15,"title":["An Approach to Distributed State Space Exploration for Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Lars M.","family":"Kristensen","sequence":"first","affiliation":[]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-45139-0_13","volume-title":"Model Checking Software","author":"J. Barnat","year":"2001","unstructured":"Barnat, J., Brim, L., St\u0159\u00edbrn\u00e1, J.: Distributed LTL model-checking in SPIN. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, p. 200. Springer, Heidelberg (2001)"},{"key":"28_CR2","volume-title":"Electronic Notes in Theoretical Computer Science","author":"G. Behrmann","year":"2002","unstructured":"Behrmann, G.: A Performance Study of Distributed Timed Automata Reachability Analysis. In: Brim, L., Grumberg, O. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a068. Elsevier, Amsterdam (2002)"},{"key":"28_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/10722167_19","volume-title":"Computer Aided Verification","author":"G. Behrmann","year":"2000","unstructured":"Behrmann, G., Hune, T., Vaandrager, F.: Distributed Timed Model Checking - How the Search Order Matters. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 216\u2013231. Springer, Heidelberg (2000)"},{"key":"28_CR4","volume-title":"Model-Checking Techniques and Tools","author":"B. B\u00e9rard","year":"2001","unstructured":"B\u00e9rard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification. In: Model-Checking Techniques and Tools. Springer, Heidelberg (2001)"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Brim, L., Grumberg, O. (eds.): Proc. of 1st Workshop on Parallel and Distributed Model Checking, October 2002. Electronic Notes in Theoretical Computer Science, vol.\u00a068 (2002)","DOI":"10.1016\/S1571-0661(05)80387-1"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Brim, L., Grumberg, O. (eds.): Proc. of 2nd Workshop on Parallel and Distributed Model Checking, September 2003. Electronic Notes in Theoretical Computer Science, vol.\u00a089 (2003)","DOI":"10.1016\/S1571-0661(05)80091-X"},{"key":"28_CR7","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"28_CR8","unstructured":"The CPN Tools Homepage, http:\/\/www.daimi.au.dk\/CPNtools"},{"key":"28_CR9","unstructured":"The Design\/CPN Homepage, http:\/\/www.daimi.au.dk\/designCPN"},{"key":"28_CR10","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","volume":"16","author":"E.W. Dijkstra","year":"1983","unstructured":"Dijkstra, E.W.: Derivation of a Termination Detection Algorithm for Distributed Computations. Information Processing Letters\u00a016, 217\u2013219 (1983)","journal-title":"Information Processing Letters"},{"key":"28_CR11","unstructured":"Farret, G., Carr\u00e9, G.: Distributed Methods for Computation and Analysis of a Coloured Petri Net State Space. Master\u2019s thesis, Department of Computer Science, University of Aarhus (August 2002)"},{"key":"28_CR12","first-page":"79","volume-title":"Proc. of the 3rd Workshop on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2001)","author":"G. Gallasch","year":"2001","unstructured":"Gallasch, G., Kristensen, L.M.: Comms\/CPN: A Communication Infrastructure for External Communication with Design\/CPN. In: Proc. of the 3rd Workshop on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2001), Department of Computer Science, pp. 79\u201393. University of Aarhus, Aarhus (2001); DAIMI PB-554, ISSN 0105-8517"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-45139-0_14","volume-title":"Model Checking Software","author":"H. Garavel","year":"2001","unstructured":"Garavel, H., Mateescu, R., Smarandache, I.: Parallel State Space Construction for Model-Checking. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol.\u00a02057, pp. 217\u2013234. Springer, Heidelberg (2001)"},{"key":"28_CR14","series-title":"Basic Concepts","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Basic Concepts, vol.\u00a01. Springer, Heidelberg (1992)"},{"key":"28_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-48234-2_3","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"F. Lerda","year":"1999","unstructured":"Lerda, F., Sisto, R.: Distributed-Memory Model-Checking with SPIN. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol.\u00a01680, pp. 22\u201339. Springer, Heidelberg (1999)"},{"key":"28_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-63166-6_26","volume-title":"Computer Aided Verification","author":"U. Stern","year":"1997","unstructured":"Stern, U., Dill, D.L.: Parallelizing the Mur\u03c6 Verifier. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 256\u2013278. Springer, Heidelberg (1997)"},{"key":"28_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A. Valmari","year":"1998","unstructured":"Valmari, A.: The State Explosion Problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 429\u2013528. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:20:32Z","timestamp":1605759632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}