{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:34:35Z","timestamp":1784241275291,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642024238","type":"print"},{"value":"9783642024245","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02424-5_5","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T10:40:41Z","timestamp":1245235241000},"page":"43-62","source":"Crossref","is-referenced-by-count":13,"title":["Towards a Standard for Modular Petri Nets: A Formalisation"],"prefix":"10.1007","author":[{"given":"Ekkart","family":"Kindler","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"ISO\/IEC: Software and Systems Engineering \u2013 High-level Petri Nets, Part 1: Concepts, Definitions and Graphical Notation, International Standard ISO\/IEC 15909 (2004)"},{"key":"5_CR2","unstructured":"Kindler, E., Weber, M.: A universal module concept for Petri nets \u2013 an implementation-oriented approach. Informatik-Bericht 150, Humboldt-Universit\u00e4t zu Berlin, Institut f\u00fcr Informatik (2001)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-40022-6_7","volume-title":"Petri Net Technology for Communication-Based Systems","author":"M. Weber","year":"2003","unstructured":"Weber, M., Kindler, E.: The Petri Net Markup Language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 124\u2013144. Springer, Heidelberg (2003)"},{"key":"5_CR4","unstructured":"ISO\/JTC1\/SC7\/WG19: Software and Systems Engineering \u2013 High-level Petri Nets, Part 2: Transfer Format. FDIS 15909-2 (under ballot), v.\u00a01.3.6, ISO\/IEC (2008)"},{"key":"5_CR5","unstructured":"Kindler, E.: Modular PNML revisited: Some ideas for strict typing. In: Proc. AWPN 2007, Koblenz, Germany (2007)"},{"issue":"3-4","key":"5_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Journal of Software Tools for Technology Transfer\u00a09(3-4), 213\u2013254 (2007)","journal-title":"Journal of Software Tools for Technology Transfer"},{"key":"5_CR7","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Fundamentals of Algebraic Specifications 1, Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications 1, Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, vol.\u00a06. Springer, Heidelberg (1985)"},{"key":"5_CR8","unstructured":"Berthomieu, B., Choquet, N., Colin, C., Loyer, B., Martin, J., Mauboussin, A.: Abstract Data Nets combining Petri nets and abstract data types for high level specification of distributed systems. In: Proceedings of VII European Workshop on Application and Theory of Petri Nets (1986)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/3-540-18086-9_31","volume-title":"Advances in Petri Nets 1987","author":"J. Vautherin","year":"1987","unstructured":"Vautherin, J.: Parallel systems specifications with coloured Petri nets and algebraic specifications. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol.\u00a0266, pp. 293\u2013308. Springer, Heidelberg (1987)"},{"key":"5_CR10","first-page":"166","volume-title":"Proceedings of the 3rd International Workshop on Petri Nets and Performance Models","author":"J. Billington","year":"1989","unstructured":"Billington, J.: Many-sorted high-level nets. In: Proceedings of the 3rd International Workshop on Petri Nets and Performance Models, pp. 166\u2013179. IEEE Computer Society Press, Los Alamitos (1989)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Reisig, W.: Petri nets and algebraic specifications. Theoretical Computer Science\u00a080, 1\u201334 (1991)","journal-title":"Theoretical Computer Science"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-68624-8_6","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2008","author":"C. Choppy","year":"2008","unstructured":"Choppy, C., Petrucci, L., Reggio, G.: A modelling approach with coloured Petri nets. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol.\u00a05026, pp. 73\u201386. Springer, Heidelberg (2008)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/3-540-63139-9_49","volume-title":"Application and Theory of Petri Nets 1997","author":"K. Schmidt","year":"1997","unstructured":"Schmidt, K.: Verification of siphons and traps for algebraic Petri nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 427\u2013446. Springer, Heidelberg (1997)"},{"key":"5_CR14","first-page":"373","volume-title":"Petri Nets: Theory and Application","author":"G. Chiola","year":"1991","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: On well-formed coloured nets and their symbolic reachability graph. In: Jensen, K., Rozenberg, G. (eds.) Petri Nets: Theory and Application, pp. 373\u2013396. Springer, Heidelberg (1991)"},{"issue":"3","key":"5_CR15","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1093\/comjnl\/43.3.224","volume":"43","author":"S. Christensen","year":"2000","unstructured":"Christensen, S., Petrucci, L.: Modular analysis of Petri nets. The Computer Journal\u00a043(3), 224\u2013242 (2000)","journal-title":"The Computer Journal"},{"key":"5_CR16","series-title":"Basic concepts. Monographs in Theoretical Computer Science","doi-asserted-by":"publisher","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. Monographs in Theoretical Computer Science, vol.\u00a01. Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02424-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T17:38:07Z","timestamp":1552066687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02424-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024238","9783642024245"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02424-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}