{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T21:40:04Z","timestamp":1745185204691,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351785"},{"type":"electronic","value":"9783642351792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35179-2_3","type":"book-chapter","created":{"date-parts":[[2012,11,14]],"date-time":"2012-11-14T02:20:42Z","timestamp":1352859642000},"page":"46-70","source":"Crossref","is-referenced-by-count":3,"title":["Extending pnml Scope: A Framework to Combine Petri Nets Types"],"prefix":"10.1007","author":[{"given":"Lom-Messan","family":"Hillah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Lakos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/3-540-63139-9_38","volume-title":"Application and Theory of Petri Nets 1997","author":"F. Bause","year":"1997","unstructured":"Bause, F.: Analysis of Petri Nets with a Dynamic Priority Method. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 215\u2013234. Springer, Heidelberg (1997)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/11562948_23","volume-title":"Automated Technology for Verification and Analysis","author":"B. B\u00e9rard","year":"2005","unstructured":"B\u00e9rard, B., Cassez, F., Haddad, S., Lime, D., Roux, O.H.: Comparison of Different Semantics for Time Petri Nets. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, pp. 293\u2013307. Springer, Heidelberg (2005), http:\/\/move.lip6.fr\/~Beatrice.Berard\/PDF\/bchlr-atva05.pdf"},{"key":"3_CR3","unstructured":"B\u00e9rard, B., Lime, D., Roux, O.: A Note on Petri Nets with Time. Integrated in report on WG19 plenary meeting in Paris, ISO\/IEC\/JTC1\/SC7\/WG19 (2011)"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. on Soft. Eng.\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-56863-8_47","volume-title":"Application and Theory of Petri Nets 1993","author":"S. Christensen","year":"1993","unstructured":"Christensen, S., Hansen, N.D.: Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 186\u2013205. Springer, Heidelberg (1993)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-55610-9_169","volume-title":"Advances in Petri Nets 1992","author":"I. Czaja","year":"1992","unstructured":"Czaja, I., van Glabbeek, R.J., Goltz, U.: Interleaving Semantics and Action Refinement with Atomic Choice. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol.\u00a0609, pp. 89\u2013107. Springer, Heidelberg (1992)"},{"key":"3_CR7","unstructured":"Eclipse Foundation: The Eclipse Compare project home page (2011), http:\/\/www.eclipse.org\/emf\/compare\/"},{"key":"3_CR8","unstructured":"Green, R.: Java Glossary: Orthogonal (1996-2011), http:\/\/mindprod.com\/jgloss\/orthogonal.html"},{"key":"3_CR9","unstructured":"Harel, D.: Lecture on Executable Visual Languages for System Development (2011), http:\/\/www.wisdom.weizmann.ac.il\/~michalk\/VisLang2011\/"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-642-13675-7_20","volume-title":"Applications and Theory of Petri Nets","author":"L.M. Hillah","year":"2010","unstructured":"Hillah, L.M., Kordon, F., Petrucci, L., Tr\u00e8ves, N.: PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 318\u2013327. Springer, Heidelberg (2010)"},{"key":"3_CR11","unstructured":"Hillah, L., Kindler, E., Kordon, F., Petrucci, L., Tr\u00e8ves, N.: A primer on the Petri Net Markup Language and ISO\/IEC 15909-2. Petri Net Newsletter\u00a076, 9\u201328 (2009), Originally Presented at CPN 2009"},{"key":"3_CR12","unstructured":"IBM: The IBM Language Extensions (1991), http:\/\/publib.boulder.ibm.com\/infocenter\/lnxpcomp\/v7v91\/index.jsp?topic=%2Fcom.ibm.vacpp7l.doc%2Flanguage%2Fref%2Fclrc00ibm_lang_extensions.html"},{"key":"3_CR13","unstructured":"ISO\/IEC: Software and Systems Engineering - High-level Petri Nets, Part 1: Concepts, Definitions and Graphical Notation, International Standard ISO\/IEC 15909 (December 2004)"},{"key":"3_CR14","unstructured":"ISO\/IEC: Software and Systems Engineering - High-level Petri Nets, Part\u00a02: Transfer Format, International Standard ISO\/IEC 15909 (February 2011)"},{"key":"3_CR15","unstructured":"ISO\/IEC\/JTC1\/SC7\/WG19: The Petri Net Markup Language home page (2011), http:\/\/www.pnml.org"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer (June 2009)","DOI":"10.1007\/b95112"},{"key":"3_CR17","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L.: Renew - User Guide. Tech. Rep. Release 2.2, University of Hamburg (2009), http:\/\/www.renew.de\/"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-642-21292-5_8","volume-title":"Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems","author":"C. Lakos","year":"2011","unstructured":"Lakos, C., Petrucci, L.: Modular State Spaces for Prioritised Petri Nets. In: Calinescu, R., Jackson, E. (eds.) Monterey Workshop 2010. LNCS, vol.\u00a06662, pp. 136\u2013156. Springer, Heidelberg (2011)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-44988-4_19","volume-title":"Application and Theory of Petri Nets 2000","author":"C. Lakos","year":"2000","unstructured":"Lakos, C.: Composing Abstractions of Coloured Petri Nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 323\u2013342. Springer, Heidelberg (2000)"},{"key":"3_CR20","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language. Prentice Hall, New York (1992)"},{"key":"3_CR21","unstructured":"OMG: Unified Modeling Language: Superstructure - Version 2.4 - ptc\/2010-11-14 (January 2011), http:\/\/www.uml.org\/"},{"key":"3_CR22","unstructured":"Pahl, C.: Modular, Behaviour Preserving Extensions of the Unix C-shell Interpreter Language. Tech. Rep. IT-TR:1997-014, Department of Information Technology, Technical University of Denmark (1997), http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.53.8183"},{"key":"3_CR23","series-title":"Wiley Professional Computing","volume-title":"Object-Oriented Type Systems","author":"J. Palsberg","year":"1994","unstructured":"Palsberg, J., Schwartzbach, M.: Object-Oriented Type Systems. Wiley Professional Computing. Wiley, Chichester (1994)"},{"key":"3_CR24","unstructured":"Pratt, T., Zelkowitz, M.: Programming Languages Design and Implementation, 3rd edn. Prentice-Hall (1999)"},{"key":"3_CR25","unstructured":"Raymond, E.S.: The Art of Unix Programming (2003), http:\/\/www.catb.org\/~esr\/writings\/taoup\/html\/ch04s02.html#orthogonality"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/978-3-642-04081-8_37","volume-title":"CONCUR 2009 - Concurrency Theory","author":"P.-A. Reynier","year":"2009","unstructured":"Reynier, P.-A., Sangnier, A.: Weak Time Petri Nets Strike Back! In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 557\u2013571. Springer, Heidelberg (2009)"},{"key":"3_CR27","unstructured":"SearchStorage: Definition: Orthogonal (June 2000), http:\/\/searchstorage.techtarget.com\/definition\/orthogonal"},{"key":"3_CR28","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Eclipse Series. Addison-Wesley Professional (December 2008)"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley (1998)","DOI":"10.1007\/3-540-46589-8_10"},{"key":"3_CR30","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Petri Nets, Algebras, Morphisms, and Compositionality. Information and Computation\u00a072, 197\u2013238 (1987)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35179-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T21:03:34Z","timestamp":1745183014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35179-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351785","9783642351792"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35179-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}