{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:01:52Z","timestamp":1762459312048,"version":"3.40.3"},"publisher-location":"Cham","reference-count":66,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319194875"},{"type":"electronic","value":"9783319194882"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19488-2_9","type":"book-chapter","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T05:13:45Z","timestamp":1433394825000},"page":"179-199","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Garavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,4]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Yannakakis, M.: Model checking of hierarchical state machines. In: Proc. ACM SIGSOFT Int. Symp. on Foundations of Software Engineering, pp. 175\u2013188. ACM (1998)","DOI":"10.1145\/291252.288305"},{"key":"9_CR2","unstructured":"Arora, N.: Comparison of Encoding Schemes for Symbolic Model Checking of Bounded Petri Nets. Master thesis, paper 11511, Iowa State University, USA (2010)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/3-540-55610-9_177","volume-title":"Advances in Petri Nets 1992","author":"L Bernardinello","year":"1992","unstructured":"Bernardinello, L., De Cindio, F.: A survey of basic net models and modular net classes. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol. 609, pp. 304\u2013351. Springer, Heidelberg (1992)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume-title":"Advances in Petri Nets 1992","author":"E Best","year":"1992","unstructured":"Best, E., Devillers, R., Hall, J.G.: The box calculus: a new causal algebra with multi-label communication. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol. 609, pp. 21\u201369. Springer, Heidelberg (1992)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/3-540-48745-X_21","volume-title":"Application and Theory of Petri Nets 1999","author":"E Best","year":"1999","unstructured":"Best, E., Devillers, R.R., Koutny, M.: The box algebra - a model of nets and process expressions. In: Donatelli, S., Kleijn, H. (eds.) ICATPN 1999. LNCS, vol. 1639, pp. 344\u2013363. Springer, Heidelberg (1999)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Best, E., Devillers, R.R., Koutny, M.: A unified model for nets and process algebras. In: Handbook of Process Algebra, chap. 14. Elsevier (2001)","DOI":"10.1016\/B978-044482830-9\/50032-1"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Best, E., Devillers, R.R., Koutny, M.: Petri Net Algebra. EATCS Monographs in Theoretical Computer Science. Springer (2001)","DOI":"10.1007\/978-3-662-04457-5"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Best, E., Devillers, R.R., Koutny, M.: The Box Algebra = Petri Nets + Process Expressions. Information and Computation 178(1) (2002)","DOI":"10.1006\/inco.2002.3117"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/3-540-53479-2_5","volume-title":"Semantics of Systems of Concurrent Processes","author":"G Boudol","year":"1990","unstructured":"Boudol, G., Castellani, I.: Three equivalent semantics for CCS. In: Guessarian, I. (ed.) Semantics of Systems of Concurrent Processes. LNCS, vol. 469, pp. 96\u2013141. Springer, Heidelberg (1990)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Boudol, G., Castellani, I.: Flow Models of Distributed Computations: Three Equivalent Semantics for CCS. Information and Computation 114(2) (1994)","DOI":"10.1006\/inco.1994.1088"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-29072-5_3","volume-title":"Transactions on Petri Nets and Other Models of Concurrency V","author":"G Ciardo","year":"2012","unstructured":"Ciardo, G., Zhao, Y., Jin, X.: Ten years of saturation: a Petri Net perspective. In: Jensen, K., Donatelli, S., Kleijn, J. (eds.) ToPNoC V. LNCS, vol. 6900, pp. 51\u201395. Springer, Heidelberg (2012)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"de Cindio, F., de Michelis, G., Pomello, L., Simone, C.: Milner\u2019s communicating systems and Petri Nets. In: APN 1982, Informatik-Fachberichte, vol. 66. Springer (1982)","DOI":"10.1007\/978-3-642-69028-0_4"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Degano, P., De Nicola, R., Montanari, U.: A Distributed Operational Semantics for CCS Based on Condition\/Event Systems. Acta Inf. 26(1\/2) (1988)","DOI":"10.1007\/BF02915446"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/3-540-56863-8_50","volume-title":"Application and Theory of Petri Nets 1993","author":"RR Devillers","year":"1993","unstructured":"Devillers, R.R.: Construction of S-invariants and S-components for refined petri boxes. In: Marsan, M.A. (ed.) APN 1993. LNCS, vol. 691, pp. 242\u2013261. Springer, Heidelberg (1993)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Devillers, R.R.: S-Invariant Analysis of General Recursive Petri Boxes. Acta Informatica 32(4) (1995)","DOI":"10.1007\/s002360050018"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/3-540-45719-4_14","volume-title":"AMAST 2002","author":"RR Devillers","year":"2002","unstructured":"Devillers, R.R., Klaudel, H., Koutny, M., Pommereau, F.: An algebra of non-safe petri boxes. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 192\u2013207. Springer, Heidelberg (2002)"},{"key":"9_CR17","unstructured":"Devillers, R.R., Klaudel, H., Koutny, M., Pommereau, F.: Asynchronous Box Calculus. Fundamenta Informaticae 54(4) (2003)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-52215-8_10","volume-title":"Computer Aided Systems Theory - EUROCAST \u201989","author":"G Dittrich","year":"1990","unstructured":"Dittrich, G.: Specification with nets - report on activities in connection with requirements capture with nets. In: Pichler, F., Moreno-D\u00edaz, R. (eds.) EUROCAST 1989. LNCS, vol. 410, pp. 111\u2013124. Springer, Heidelberg (1990)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-56689-9_43","volume-title":"Advances in Petri Nets 1993","author":"R Fehling","year":"1991","unstructured":"Fehling, R.: A concept of hierarchical Petri Nets with building blocks. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol. 674, pp. 148\u2013168. Springer, Heidelberg (1991)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Francesco, N.D., Montanari, U., Yankelevich, D.: Axiomatizing CCS, Nets and Processes. Science of Computer Programming 21(3) (1993)","DOI":"10.1016\/0167-6423(93)90010-M"},{"key":"9_CR21","unstructured":"Garavel, H.: Compilation et V\u00e9rification de Programmes LOTOS. Doctorate thesis, Universit\u00e9 Joseph Fourier (Grenoble), November 1989"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. Springer International Journal on Software Tools for Technology Transfer (STTT) 15(2), April 2013","DOI":"10.1007\/s10009-012-0244-z"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Garavel, H., Serwe, W.: State Space Reduction for Process Algebra Specifications. Th. Comp. Sci. 351(2), February 2006","DOI":"10.1016\/j.tcs.2005.09.064"},{"key":"9_CR24","unstructured":"Garavel, H., Sifakis, J.: Compilation and verification of LOTOS specifications. In: Proc. 10th Int. Symp. on Protocol Specification, Testing and Verification (PSTV 1990), North-Holland, June 1990"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Garavel, H., Sighireanu, M.: On the introduction of exceptions in LOTOS. In: Proc. Int. Joint Conf. on Formal Description Techniques and Protocol Specification, Testing, and Verification FORTE\/PSTV 1996, IFIP. Chapman & Hall (1996)","DOI":"10.1007\/978-0-387-35079-0_30"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BFb0017157","volume-title":"Mathematical Foundations of Computer Science 1988","author":"U Goltz","year":"1988","unstructured":"Goltz, U.: On representing CCS programs by finite Petri Nets. In: Chytil, M., Janiga, L., Koubek, V. (eds.) MFCS 1988. LNCS, vol. 324, pp. 339\u2013350. Springer, Heidelberg (1988)"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-53479-2_14","volume-title":"Semantics of Systems of Concurrent Processes","author":"U Goltz","year":"1990","unstructured":"Goltz, U.: CCS and Petri Nets. In: Guessarian, I. (ed.) Semantics of Systems of Concurrent Processes. LNCS, vol. 469, pp. 334\u2013357. Springer, Heidelberg (1990)"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-13345-3_18","volume-title":"Automata, Languages and Programming","author":"U Goltz","year":"1984","unstructured":"Goltz, U., Mycroft, A.: On the relationship of CCS and Petri Nets. In: Paredaens, J. (ed.) ICALP 1984. LNCS, vol. 172, pp. 196\u2013208. Springer, Heidelberg (1984)"},{"key":"9_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-15204-0_11","volume-title":"Advances in Petri Nets 1984","author":"U Goltz","year":"1984","unstructured":"Goltz, U., Reisig, W.: CSP-programs with individual tokens. In: Rozenberg, G., Genrich, H.J., Roucairol, G. (eds.) APN 1984. LNCS, vol. 188, pp. 169\u2013196. Springer, Heidelberg (1984)"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-56689-9_46","volume-title":"Advances in Petri Nets 1993","author":"R Gorrieri","year":"1991","unstructured":"Gorrieri, R., Montanari, U.: Distributed implementation of CCS. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol. 674, pp. 244\u2013266. Springer, Heidelberg (1991)"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Gorrieri, R., Montanari, U.: On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies. Theoretical Computer Science 141(1&2) (1995)","DOI":"10.1016\/0304-3975(94)00073-R"},{"key":"9_CR32","unstructured":"Hall, J.G., Hopkins, R.P., Botti, O., de Cindio, F.: A Petri Net Semantics of OCCAM2. Tech. report 329, Univ. of Newcastle upon Tyne, Computing Lab. (1991)"},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Hamez, A., Thierry-Mieg, Y., Kordon, F.: Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. Fundamenta Informaticae 94(3\u20134) (2009)","DOI":"10.3233\/FI-2009-137"},{"issue":"3","key":"9_CR34","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"9_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-61363-3_12","volume-title":"Application and Theory of Petri Nets 1996","author":"X He","year":"1996","unstructured":"He, X.: A formal definition of hierarchical predicate transition nets. In: Billington, J., Reisig, W. (eds.) APN 1996. LNCS, vol. 1091, pp. 212\u2013229. Springer, Heidelberg (1996)"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"He, X., Lee, J.: A Methodology for Constructing Predicate Transition Net Specifications. Software, Practice & Experience 21(8) (1991)","DOI":"10.1002\/spe.4380210806"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"He, X., Murata, T.: High-level Petri Nets - extensions, analysis, and applications. In: Electrical Engineering Handbook. Elsevier Academic Press (2005)","DOI":"10.1016\/B978-012170960-0\/50035-9"},{"key":"9_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-55610-9_172","volume-title":"Advances in Petri Nets","author":"RP Hopkins","year":"1992","unstructured":"Hopkins, R.P., Hall, J.G., Botti, O.: A basic-net algebra for program semantics and its application to OCCAM. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol. 609, pp. 179\u2013214. Springer, Heidelberg (1992)"},{"key":"9_CR39","series-title":"Lecture Notes in Computer Science","first-page":"313","volume-title":"Application and Theory of Petri Nets 1991","author":"P Huber","year":"1989","unstructured":"Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in coloured Petri Nets. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol. 483, pp. 313\u2013341. Springer, Heidelberg (1989)"},{"key":"9_CR40","unstructured":"ISO\/IEC: LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard ISO\/IEC 8807 (1989)"},{"key":"9_CR41","unstructured":"ISO\/IEC: High-level Petri Nets - Part 2: Transfer Format. International Standard ISO\/IEC 15909\u20132 (2011)"},{"key":"9_CR42","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Th. Computer Science, vol. 1. Springer (1992)"},{"key":"9_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1007\/BFb0084805","volume-title":"CONCUR 1992","author":"G Karjoth","year":"1992","unstructured":"Karjoth, G.: Implementing LOTOS specifications by communicating state machines. In: Cleaveland, R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 386\u2013400. Springer, Heidelberg (1992)"},{"key":"9_CR44","doi-asserted-by":"crossref","unstructured":"Karjoth, G., Binding, C., Gustafsson, J.: LOEWE: A LOTOS Engineering Workbench. Computer Networks and ISDN Systems 25(7) (1993)","DOI":"10.1016\/0169-7552(93)90052-6"},{"key":"9_CR45","unstructured":"Kerbrat, A.: M\u00e9thodes Symboliques pour la V\u00e9rification de Processus Communicants: Etude et Mise en \u0152uvre. Doct. thesis, Univ. J. Fourier (Grenoble) (1994)"},{"key":"9_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/3-540-08921-7_55","volume-title":"Mathematical Foundations of Computer Science 1978","author":"VE Kotov","year":"1978","unstructured":"Kotov, V.E.: An algebra for parallelism based on Petri Nets. In: Winkowski, J. (ed.) MFCS 1978. LNCS, vol. 64, pp. 39\u201355. Springer, Heidelberg (1978)"},{"key":"9_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/3-540-15204-0_17","volume-title":"Advances in Petri Nets 1984","author":"VE Kotov","year":"1984","unstructured":"Kotov, V.E., Cherkasova, L.: On structural properties of generalized processes. In: Rozenberg, G., Genrich, H.J., Roucairol, G. (eds.) APN 1984. LNCS, vol. 188, pp. 288\u2013306. Springer, Heidelberg (1984)"},{"key":"9_CR48","series-title":"lecture notes in computer science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-27793-4_29","volume-title":"Applications and Theory of Petri Nets 2004","author":"O Kummer","year":"2004","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., K\u00f6hler, M., Moldt, D., R\u00f6lke, H., Valk, R.: An extensible editor and simulation engine for Petri Nets: renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 484\u2013493. Springer, Heidelberg (2004)"},{"key":"9_CR49","doi-asserted-by":"crossref","unstructured":"Lomazova, I.A.: Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. Fundamenta Informaticae 43(1\u20134) (2000)","DOI":"10.3233\/FI-2000-43123410"},{"key":"9_CR50","unstructured":"Lomazova, I.A.: Nested Petri Nets: Multi-level and Recursive Systems. Fundamenta Informaticae 47(3-4) (2001)"},{"key":"9_CR51","doi-asserted-by":"crossref","unstructured":"Montanari, U., Yankelevich, D.: Combining CCS and Petri Nets Via Structural Axioms. Fundamenta Informaticae 20(1\/2\/3) (1994)","DOI":"10.3233\/FI-1994-201237"},{"key":"9_CR52","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri Nets: Analysis and Applications. Proc. of the IEEE 77(4) (1989)","DOI":"10.1109\/5.24143"},{"key":"9_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/3-540-17906-2_32","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"M Nielsen","year":"1986","unstructured":"Nielsen, M.: CCS and its relationship to net theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986 (Part I). LNCS, vol. 255, pp. 393\u2013415. Springer, Heidelberg (1986)"},{"key":"9_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/3-540-10001-6_32","volume-title":"Net Theory and Applications","author":"JD Noe","year":"1980","unstructured":"Noe, J.D.: Nets in modeling and simulation. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol. 84, pp. 347\u2013368. Springer, Heidelberg (1980)"},{"key":"9_CR55","doi-asserted-by":"crossref","unstructured":"Noe, J.D., Nutt, G.J.: Macro E-Nets for Representation of Parallel Systems. IEEE Transactions on Computers C-22(8), August 1973","DOI":"10.1109\/TC.1973.5009150"},{"key":"9_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-18086-9_27","volume-title":"Advances in Petri Nets 1987","author":"ER Olderog","year":"1986","unstructured":"Olderog, E.R.: Operational Petri Net semantics for CCSP. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol. 266, pp. 196\u2013223. Springer, Heidelberg (1986)"},{"key":"9_CR57","doi-asserted-by":"crossref","unstructured":"Olderog, E.R.: Nets, Terms, and Formulas: Three Views of Concurrent Processes and Their Relationship. Cambridge University Press (1991)","DOI":"10.1017\/CBO9780511526589"},{"key":"9_CR58","doi-asserted-by":"crossref","unstructured":"Peterson, J.L.: Petri Nets. ACM Computing Surveys 9(3) (1977)","DOI":"10.1145\/356698.356702"},{"key":"9_CR59","doi-asserted-by":"crossref","unstructured":"Suzuki, I., Murata, T.: Stepwise Refinements of Transitions and Places. In: APN 1981, Informatik-Fachberichte, vol. 52. Springer (1981)","DOI":"10.1007\/978-3-642-68353-4_23"},{"key":"9_CR60","doi-asserted-by":"crossref","unstructured":"Suzuki, I., Murata, T.: A Method for Stepwise Refinement and Abstraction of Petri Nets. Journal of Computer and System Sciences 27(1) (1983)","DOI":"10.1016\/0022-0000(83)90029-6"},{"key":"9_CR61","doi-asserted-by":"crossref","unstructured":"Taubner, D.: Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. LNCS, vol. 369. Springer, Heidelberg (1989)","DOI":"10.1007\/3-540-51525-9"},{"key":"9_CR62","doi-asserted-by":"crossref","unstructured":"Taubner, D.: Representing CCS Programs by Finite Predicate\/Transition Nets. Acta Informatica 27(6) (1989)","DOI":"10.1007\/BF00277389"},{"key":"9_CR63","doi-asserted-by":"crossref","unstructured":"Valette, R.: Analysis of Petri Nets by Stepwise Refinements. Journal of Computer and System Sciences 18(1) (1979)","DOI":"10.1016\/0022-0000(79)90050-3"},{"key":"9_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R Valk","year":"1998","unstructured":"Valk, R.: Petri Nets as token objects: an introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1\u201325. Springer, Heidelberg (1998)"},{"key":"9_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1007\/978-3-540-27755-2_23","volume-title":"Lectures on Concurrency and Petri Nets","author":"R Valk","year":"2003","unstructured":"Valk, R.: Object Petri Nets: using the nets-within-nets paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 819\u2013848. Springer, Heidelberg (2003)"},{"key":"9_CR66","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-17945-3_13","volume-title":"PARLE Parallel Architectures and Languages Europe","author":"RJ van Glabbeek","year":"1987","unstructured":"van Glabbeek, R.J., Vaandrager, F.W.: Petri Net models for algebraic theories of concurrency. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE 1987. LNCS, vol. 259, pp. 224\u2013242. Springer, Heidelberg (1987)"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19488-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T10:08:10Z","timestamp":1676455690000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19488-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194875","9783319194882"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19488-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"4 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}