{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T00:45:56Z","timestamp":1794357956417,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540857617","type":"print"},{"value":"9783540857624","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85762-4_13","type":"book-chapter","created":{"date-parts":[[2008,8,22]],"date-time":"2008-08-22T10:20:29Z","timestamp":1219400429000},"page":"186-200","source":"Crossref","is-referenced-by-count":2,"title":["Towards Efficient Verification of Systems with Dynamic Process Creation"],"prefix":"10.1007","author":[{"given":"Hanna","family":"Klaudel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elisabeth","family":"Pelz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franck","family":"Pommereau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/3-540-45319-9_12","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Ball","year":"2001","unstructured":"Ball, T., Chaki, S., Rajamani, S.K.: Parameterized Verification of Multithreaded Software Libraries. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 158\u2013173. Springer, Heidelberg (2001)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1007\/s002360050144","volume":"35","author":"E. Best","year":"1998","unstructured":"Best, E., et al.: M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica\u00a035, 813\u2013857 (1998)","journal-title":"Acta Informatica"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/s100090200074","volume":"4","author":"D. Bosnacki","year":"2002","unstructured":"Bosnacki, D., Dams, D., Holenderski, L.: Symmetric Spin. International Journal on Software Tools for Technology Transfer\u00a04, 92\u2013106 (2002)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0304-3975(96)00010-2","volume":"176","author":"G. Chiola","year":"1997","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science\u00a0176, 39\u201365 (1997)","journal-title":"Theoretical Computer Science"},{"key":"13_CR5","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"13_CR6","first-page":"439","volume-title":"Proc.\u00a0ICSE 2000","author":"J.C. Corbett","year":"2000","unstructured":"Corbett, J.C., et al.: Bandera: Extracting Finite-state Models from Java Source Code. In: Proc.\u00a0ICSE 2000, pp. 439\u2013448. ACM, New York (2000)"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"1367","DOI":"10.1109\/TPAMI.2004.75","volume":"26","author":"L.P. Cordella","year":"2004","unstructured":"Cordella, L.P., Foggia, P., Sansone, C., Vento, M.: A (Sub)Graph Isomorphism Algorithm for Matching Large Graphs. IEEE Transactions on Pattern Analysis and Machine Intelligence\u00a026, 1367\u20131372 (2004)","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"13_CR8","first-page":"238","volume-title":"Proc.\u00a0POPL 1977","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc.\u00a0POPL 1977, pp. 238\u2013252. ACM, New York (1977)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Delzanno, G.: Constraint-based Automatic Verification of Abstract Models of Multithreaded Programs. Journal of Theory and Practice of Logic Programming\u00a07 (2007)","DOI":"10.1017\/S1471068406002821"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1007\/11494744_26","volume-title":"Applications and Theory of Petri Nets 2005","author":"S. Evangelista","year":"2005","unstructured":"Evangelista, S.: High Level Petri Nets Analysis with Helena. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 455\u2013464. Springer, Heidelberg (2005)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.tcs.2004.12.006","volume":"338","author":"C. Flanagan","year":"2005","unstructured":"Flanagan, C., Freund, S.N., Qadeer, S., Seshia, S.A.: Modular Verification of Multithreaded Programs. Theoretical Computer Science\u00a0338, 153\u2013183 (2005)","journal-title":"Theoretical Computer Science"},{"key":"13_CR12","unstructured":"Hagberg, A., Schult, D., Swart, P.: NetworkX, High Productivity Software for Complex Networks, http:\/\/networkx.lanl.gov"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-3-540-40903-8_5","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"M. Hendriks","year":"2004","unstructured":"Hendriks, M., et al.: Adding Symmetry Reduction to Uppaal. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 46\u201359. Springer, Heidelberg (2004)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Khomenko, V.: Model Checking Based on Prefixes of Petri Net Unfoldings. PhD Thesis, School of Computing Science, University of Newcastle (2003)","DOI":"10.1007\/3-540-45657-0_49"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Klaudel, H., Koutny, M., Pelz, E., Pommereau, F.: Towards Efficient Verification of Systems with Dynamic Process Creation. LACL Technical Report (2008), http:\/\/lacl.univ-paris12.fr","DOI":"10.1109\/ISCIS.2009.5291864"},{"key":"13_CR16","volume-title":"The Temporal Logic of Reactive and Concurrent Systems Specification","author":"Z. Manna","year":"1991","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems Specification. Springer, Heidelberg (1991)"},{"key":"13_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. McMillan","year":"1993","unstructured":"McMillan, K.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Miller, A., Donaldson, A., Calder, M.: Symmetry in Temporal Logic Model Checking. ACM Comput. Surv. 38 (2006)","DOI":"10.1145\/1132960.1132962"},{"key":"13_CR19","unstructured":"Pommereau, F.: Versatile Boxes, a Multi-Purpose Algebra of High-Level Petri Nets. In: DADS\/SCSC 2007, SCS\/ACM (2007)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Pommereau, F.: Quickly Prototyping Petri Net Tools with Snakes. In: Proc. \u00a0PNTAP 2008, ACM Digital Library (2008)","DOI":"10.4108\/ICST.SIMUTOOLS2008.3007"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Rabin, M.O.: Decidability of Second-order Theories and Automata on Infinite Trees. Transactions of the American Mathematical Society 141 (1969)","DOI":"10.2307\/1995086"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-540-73094-1_24","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"F. Rosa-Velardo","year":"2007","unstructured":"Rosa-Velardo, F., de Frutos-Escrig, D.: Name Creation vs. Replication in Petri Net Systems. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 402\u2013422. Springer, Heidelberg (2007)"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1016\/j.tcs.2005.06.028","volume":"343","author":"R.F. St\u00e4rk","year":"2005","unstructured":"St\u00e4rk, R.F.: Formal Specification and Verification of the C# Thread Model. Theoretical Computer Science\u00a0343, 482\u2013508 (2005)","journal-title":"Theoretical Computer Science"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/10722468_14","volume-title":"SPIN Model Checking and Software Verification","author":"S.D. Stoller","year":"2000","unstructured":"Stoller, S.D.: Model-Checking Multi-threaded Distributed Java Programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 224\u2013244. Springer, Heidelberg (2000)"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-44919-1_9","volume-title":"Applications and Theory of Petri Nets 2003","author":"Y. Thierry-Mieg","year":"2003","unstructured":"Thierry-Mieg, Y., Dutheillet, C., Mounier, I.: Automatic Symmetry Detection in Well-Formed Nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 82\u2013101. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85762-4_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T14:11:58Z","timestamp":1684505518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85762-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540857617","9783540857624"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85762-4_13","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-85762-4","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}