{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:09:52Z","timestamp":1761487792898,"version":"3.33.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2007,3,8]],"date-time":"2007-03-08T00:00:00Z","timestamp":1173312000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,3,8]],"date-time":"2007-03-08T00:00:00Z","timestamp":1173312000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1007\/s10009-007-0033-2","type":"journal-article","created":{"date-parts":[[2007,3,7]],"date-time":"2007-03-07T08:10:34Z","timestamp":1173255034000},"page":"393-411","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Modular state space exploration for timed petri nets"],"prefix":"10.1007","volume":"9","author":[{"given":"C.","family":"Lakos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Petrucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,3,8]]},"reference":[{"key":"33_CR1","first-page":"453","volume-title":"Internation Conference on the Application and Theory of Petri Nets, vol. 961 of LNCS.","author":"W. van der Aalst","year":"1993","unstructured":"Aalst W. (1993). Interval Timed Coloured Petri Nets and their analysis. In: Marsan, M.A. (eds) Internation Conference on the Application and Theory of Petri Nets, vol. 961 of LNCS., pp 453\u2013472. Springer, Chicago"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Berthelot G., Boucheneb H. (1994). Occurrence graphs for Interval Timed Coloured Nets. In: Proceedings of 15th International Conference Application and Theory of Petri Nets (ICATPN\u20191994), Zaragoza, Spain, June 1994, vol. 815 of LNCS, pp 79\u201398. Springer, Berlin","DOI":"10.1007\/3-540-58152-9_6"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Boucheneb, H., Bertholet, G.: Towards a simplified building of Time Petri Nets reachability graph. In: 5th International Workshop on Petri Nets and Performance Models, pp 46\u201355. Springer, Berlin (1993)","DOI":"10.1109\/PNPM.1993.393436"},{"issue":"3","key":"33_CR4","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1093\/comjnl\/43.3.224","volume":"43","author":"S. Christensen","year":"2000","unstructured":"Christensen S. and Petrucci L. (2000). Modular analysis of Petri Nets. Comput. J. 43(3): 224\u2013242","journal-title":"Comput. J."},{"key":"33_CR5","unstructured":"Design\/CPN online. http:\/\/www.daimi.au.dk\/designCPN"},{"issue":"10","key":"33_CR6","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/84537.84545","volume":"33","author":"R.M. Fujimoto","year":"1990","unstructured":"Fujimoto R.M. (1990). Parallel discrete event simulation. Commun. ACM 33(10): 30\u201353","journal-title":"Commun. ACM"},{"key":"33_CR7","volume-title":"Coloured Petri Nets: basic concepts, analysis methods and practical use, vol. 1: Basic Concepts. Monographs in Theoretical Computer Science","author":"K. Jensen","year":"1992","unstructured":"Jensen K. (1992). Coloured Petri Nets: basic concepts, analysis methods and practical use, vol. 1: Basic Concepts. Monographs in Theoretical Computer Science. Springer, Berlin"},{"key":"33_CR8","volume-title":"Coloured Petri Nets: basic concepts, analysis methods and practical use. vol. 2: Analysis Methods. Monographs in Theoretical Computer Science","author":"K. Jensen","year":"1994","unstructured":"Jensen K. (1994). Coloured Petri Nets: basic concepts, analysis methods and practical use. vol. 2: Analysis Methods. Monographs in Theoretical Computer Science. Springer, Berlin"},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"Kristensen, L., Petrucci, L.: An approach to distributed state space exploration for Coloured Petri Nets. In: Proceedings of 25th International Conference Application and Theory of Petri Nets (ICATPN\u20192004), Bologna, Italy, June 2004, vol. 3099 of LNCS, pp 474\u2013483. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-27793-4_28"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"Lakos, C., Petrucci, L.: Modular analysis of systems composed of semiautonomous subsystems. In: Proceedings of 4th International Conference on Application of Concurrency to System Design (ACSD\u201904), Hamilton, Canada, June 2004, pp 185\u2013194. IEEE Comp. Soc. Press (2004)","DOI":"10.1109\/CSD.2004.1309131"},{"key":"33_CR11","unstructured":"Lewis, G.A.: Incremental specification and analysis in the context of Coloured Petri Nets. Ph.D., Department of Computing, University of Tasmania, 2002"},{"key":"33_CR12","first-page":"201","volume-title":"24th International Conference on the Application and Theory of Petri Nets, Eindhoven, The Netherlands vol. 2679 of LNCS.","author":"M. M\u00e4kel\u00e4","year":"2002","unstructured":"M\u00e4kel\u00e4 M. (2002). Model checking safety properties in Modular High-level Nets. In: Best, E. (eds) 24th International Conference on the Application and Theory of Petri Nets, Eindhoven, The Netherlands vol. 2679 of LNCS., pp 201\u2013220. Springer, Berlin"},{"key":"33_CR13","unstructured":"M\u00e4kel\u00e4, M.: Maria - Modular reachability analyzer for Algebraic System Nets (Version 1.3.4). Technical report, Helsinki University of Technology, Laboratory for Theoretical Computer Science, June 2003"},{"key":"33_CR14","first-page":"37","volume-title":"International Conference on the Application and Theory of Petri Nets, vol 3099 of Lecture Notes in Computer Science, Florida.","author":"W. Penczek","year":"2004","unstructured":"Penczek W. and Polrola A. (2004). Specification and model checking of temporal properties in Time Petri Nets and Timed Automata. In: Cortadella, J. and Reisig, W. (eds) International Conference on the Application and Theory of Petri Nets, vol 3099 of Lecture Notes in Computer Science, Florida., pp 37\u201376. Springer, Berlin"},{"key":"33_CR15","unstructured":"Petrucci, L.: Cover picture story: experiments with modular state spaces. Petri Net Newslett. 68:Cover page and 5\u201310, April 2005"},{"key":"33_CR16","first-page":"547","volume-title":"Fundamentals of Computation Theory, vol. 1684 of Lecture Notes in Computer Science.","author":"I. Virbitskaite","year":"1999","unstructured":"Virbitskaite I. and Pokozy E. (1999). A partial order method for the verification of Time Petri Nets. In: Ciobanu, G. and Paun, G. (eds) Fundamentals of Computation Theory, vol. 1684 of Lecture Notes in Computer Science., pp 547\u2013558. Springer, Berlin"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0033-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-007-0033-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0033-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0033-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,14]],"date-time":"2025-01-14T17:12:16Z","timestamp":1736874736000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-007-0033-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,8]]},"references-count":16,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["33"],"URL":"https:\/\/doi.org\/10.1007\/s10009-007-0033-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2007,3,8]]},"assertion":[{"value":"8 March 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}