{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:22Z","timestamp":1725490702388},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403340"},{"type":"electronic","value":"9783540449195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_15","type":"book-chapter","created":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:38:42Z","timestamp":1188779922000},"page":"201-220","source":"Crossref","is-referenced-by-count":7,"title":["Model Checking Safety Properties in Modular High-Level Nets"],"prefix":"10.1007","author":[{"given":"Marko","family":"M\u00e4kel\u00e4","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"issue":"10","key":"15_CR1","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1109\/32.544348","volume":"22","author":"E. Battiston","year":"1996","unstructured":"Eugenio Battiston, Fiorella De Cindio, and Giancarlo Mauri. Modular algebraic nets to specify concurrent systems. IEEE Transactions on Software Engineering, 22(10):689\u2013705, October 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR2","unstructured":"Jonathan Billington et al. High-level Petri nets\u2014concepts, definitions and graphical notation, version 4.7.3. Final Draft International Standard ISO\/IEC 15909, ISO\/IEC JTC1\/SC7, Gen\u00e8ve, Switzerland, May 2002."},{"issue":"1","key":"15_CR3","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/295558.295570","volume":"8","author":"S. C. Cheung","year":"1999","unstructured":"Shing Chi Cheung and Jeff Kramer. Checking safety properties using compositional reachability analysis. ACM TOSEM, 8(1):49\u201378, January 1999.","journal-title":"ACM TOSEM"},{"key":"15_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/3-540-60029-9_41","volume-title":"Application and Theory of Petri Nets 1995, 16 th International Conference","author":"S. Christensen","year":"1995","unstructured":"S\u00f8ren Christensen and Laure Petrucci. Modular state space analysis of coloured Petri nets. In Giorgio De Michelis and Michel Diaz, editors, Application and Theory of Petri Nets 1995, 16\n                           th\n                           International Conference, volume 935 of Lecture Notes in Computer Science, pages 201\u2013217, Turin, Italy, June 1995. Springer-Verlag."},{"issue":"3","key":"15_CR5","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1093\/comjnl\/43.3.224","volume":"43","author":"S. Christensen","year":"2000","unstructured":"S\u00f8ren Christensen and Laure Petrucci. Modular analysis of Petri nets. The Computer Journal, 43(3):224\u2013242, 2000.","journal-title":"The Computer Journal"},{"issue":"3","key":"15_CR6","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0196-6774(82)90023-2","volume":"3","author":"D. Dolev","year":"1982","unstructured":"Danny Dolev, Maria Klawe, and Michael Rodeh. An O(n log n) unidirectional distributed algorithm for extrema finding in a circle. Journal of Algorithms, 3(3):245\u2013260, September 1982.","journal-title":"Journal of Algorithms"},{"issue":"3","key":"15_CR7","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1145\/177492.177725","volume":"16","author":"O. Grumberg","year":"1994","unstructured":"Orna Grumberg and David E. Long. Model checking and modular verification. ACM TOPLAS, 16(3):843\u2013871, May 1994.","journal-title":"ACM TOPLAS"},{"key":"15_CR8","unstructured":"Gerard J. Holzmann. Spin\u2014formal verification. http:\/\/spinroots.com\/."},{"key":"15_CR9","unstructured":"Specification and description language (SDL). Recommendation Z.100 (08\/02), International Telecommunication Union, Geneva, Switzerland, September 2002."},{"issue":"5","key":"15_CR10","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1145\/293677.293681","volume":"20","author":"E. Y. T. Juan","year":"1998","unstructured":"Eric Y. T. Juan, Jeffrey J. P. Tsai, and Tadao Murata. Compositional verification of concurrent systems using Petri-net-based condensation rules. ACM TOPLAS, 20(5):917\u2013979, September 1998.","journal-title":"ACM TOPLAS"},{"key":"15_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/10722468_3","volume-title":"SPIN Model Checking and Software Verification, 7 th International SPIN Workshop","author":"B. Kara\u00e7al\u0131","year":"2000","unstructured":"Bengi Kara\u00e7al\u0131 and Kuo-Chung Tai. Model checking based on simultaneous reachability analysis. In Klaus Havelund, John Penix, and Willem Visser, editors, SPIN Model Checking and Software Verification, 7\n                           th\n                           International SPIN Workshop, volume 1885 of Lecture Notes in Computer Science, pages 34\u201353, Stanford, CA, USA, August 2000. Springer-Verlag."},{"key":"15_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/3-540-48683-6_17","volume-title":"Computer Aided Verification 1999, 11 th International Conference (CAV99)","author":"O. Kupferman","year":"1999","unstructured":"Orna Kupferman and Moshe Y. Vardi. Model checking of safety properties. In Nicolas Halbwachs and Doron Peled, editors, Computer Aided Verification 1999, 11\n                           th\n                           International Conference (CAV99), volume 1633 of Lecture Notes in Computer Science, pages 172\u2013183, Trento, Italy, July 1999. Springer-Verlag."},{"key":"15_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/3-540-45740-2_17","volume-title":"Application and Theory of Petri Nets 2001, 22 nd International Conference","author":"M. M\u00e4kel\u00e4","year":"2001","unstructured":"Marko M\u00e4kel\u00e4. Optimising enabling tests and unfoldings of algebraic system nets. In Jos\u00e9-Manuel Colom and Maciej Koutny, editors, Application and Theory of Petri Nets 2001, 22\n                           nd\n                           International Conference, volume 2075 of Lecture Notes in Computer Science, pages 283\u2013302, Newcastle upon Tyne, England, June 2001. Springer-Verlag."},{"key":"15_CR14","unstructured":"Marko M\u00e4kel\u00e4. Efficiently verifying safety properties with idle office computers. In Charles Lakos, Robert Esser, Lars M. Kristensen, and Jonathan Billington, editors, Formal Methods in Software Engineering and Defence Systems 2002, volume 12 of Conferences in Research and Practice in Information Technology, pages 11\u201316, Adelaide, Australia, June 2002. Australian Computer Society Inc."},{"key":"15_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1007\/3-540-48068-4_25","volume-title":"Application and Theory of Petri Nets 2002, 23 rd International Conference","author":"M. M\u00e4kel\u00e4","year":"2002","unstructured":"Marko M\u00e4kel\u00e4. Maria: Modular reachability analyser for algebraic system nets. In Javier Esparza and Charles Lakos, editors, Application and Theory of Petri Nets 2002, 23\n                           rd\n                           International Conference, volume 2360 of Lecture Notes in Computer Science, pages 434\u2013444, Adelaide, Australia, June 2002. Springer-Verlag."},{"key":"15_CR16","first-page":"684","volume":"VIII","author":"L. Petrucci","year":"2000","unstructured":"Laure Petrucci. Design and validation of a controller. In Proceedings of the 4\n                           th\n                           World Multiconference on Systemics, Cybernetics and Informatics, volume VIII, pages 684\u2013688, Orlando, FL, USA, July 2000. International Institute of Informatics and Systemics.","journal-title":"Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics"},{"key":"15_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-63166-6_26","volume-title":"Computer Aided Verification 1997, 9 th International Conference (CAV97)","author":"U. Stern","year":"1997","unstructured":"Ulrich Stern and David L. Dill. Parallelizing the Mur\u03d5 verifier. In Orna Grumberg, editor, Computer Aided Verification 1997, 9\n                           th\n                           International Conference (CAV97), volume 1254 of Lecture Notes in Computer Science, pages 256\u2013267, Haifa, Israel, June 1997. Springer-Verlag."},{"key":"15_CR18","series-title":"Lect Notes Comput Sci","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":"Antti Valmari. The state explosion problem. In Wolfgang Reisig and Grzegorz Rozenberg, editors, Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science, pages 429\u2013528. Springer-Verlag, 1998."},{"key":"15_CR19","unstructured":"Wei Jen Yeh and Michal Young. Compositional reachability analysis using process algebra. In Proceedings of the Symposium on Software Testing, Analysis, and Verification, pages 49\u201359, Victoria, British Columbia, October 1991. ACM Press."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T10:06:24Z","timestamp":1550916384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}