{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:26:08Z","timestamp":1773235568449,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540462194","type":"print"},{"value":"9783540462200","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11888116_23","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:06:43Z","timestamp":1159870003000},"page":"307-322","source":"Crossref","is-referenced-by-count":17,"title":["PN Standardisation: A Survey"],"prefix":"10.1007","author":[{"given":"L.","family":"Hillah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Kordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Petrucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Tr\u00e8ves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Bastide, R., Buchs, D., Buffo, M., Kordon adn, F., Sy, O.: Characteristics of currently used petri nets. Technical report, Univ. P. & M. Curie (2000), Available at: http:\/\/www-src.lip6.fr\/homepages\/Fabrice.Kordon\/PN_STD_WWW\/Qresult.html"},{"issue":"3","key":"23_CR2","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. Software Eng.\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. Software Eng."},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The petri net markup language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","year":"1987","unstructured":"Brauer, W., Reisig, W., Rozenberg, G. (eds.): APN 1986. LNCS, vol.\u00a0254. Springer, Heidelberg (1987)"},{"key":"23_CR5","series-title":"The Eclipse Series","volume-title":"Eclipse Modeling Framework","author":"F. Budinsky","year":"2003","unstructured":"Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley Professional, Reading (2003)"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"High Level 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: Rozenberg, G., Jensen, K. (eds.) High Level Petri Nets. Theory and Application. LNCS, Springer, Heidelberg (1991)"},{"key":"23_CR7","unstructured":"Clark, J.: RELAX NG Home Page. OASIS (2003), http:\/\/www.relaxng.org\/"},{"key":"23_CR8","unstructured":"Diaz, M.: V\u00e9rification et mise en oeuvre des r\u00e9seaux de Petri. Hermes Sciences - Lavoisier (2003)"},{"key":"23_CR9","unstructured":"GreatSPN:\u00a0GRaphical Editor, Analyzer for Timed, and Stochastic\u00a0Petri Nets, http:\/\/www.di.unito.it\/~greatspn\/"},{"key":"23_CR10","unstructured":"International\u00a0Organization for Standardization. International harmonized stage codes. ISO, http:\/\/www.iso.org\/iso\/en\/widepages\/stagetable.html#95"},{"key":"23_CR11","unstructured":"Eclipse Foundation. Eclipse Modeling Framework, http:\/\/www.eclipse.org\/emf\/"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","first-page":"207","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","year":"1987","unstructured":"Brauer, W., Reisig, W., Rozenberg, G. (eds.): APN 1986. LNCS, vol.\u00a0254, pp. 207\u2013247. Springer, Heidelberg (1987)"},{"key":"23_CR13","unstructured":"Parallel\u00a0Systems Group. Programming Environment based on Petri Nets. University of Oldenburg, http:\/\/theoretica.informatik.uni-oldenburg.de\/~pep\/"},{"key":"23_CR14","unstructured":"Hillah, L., Kordon, F., Petrucci, L., Tr\u00e8ves, N.: Model engineering on petri nets for iso\/iec 15909-2: Api framework for petri net types metamodels. Petri Net Newsletter\u00a0(69), 22\u201340 (2005)"},{"key":"23_CR15","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":"23_CR16","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured petri nets - basic concepts, analysis methods and practical use, vol. 3: Practical use. EATCS Monographs on Theoretical Computer Science (1997)","DOI":"10.1007\/978-3-642-60794-3"},{"key":"#cr-split#-23_CR17.1","doi-asserted-by":"crossref","unstructured":"Jensen, K., Rozenberg, G.(eds.): High-Level Petri Nets. Springer, Berlin (1991);","DOI":"10.1007\/978-3-642-84524-6"},{"key":"#cr-split#-23_CR17.2","unstructured":"NewsletterInfo: 39"},{"key":"23_CR18","unstructured":"Kindler, E.: Software and Systems Engineering - High-level Petri Nets. Part2: Transfert Format. Working Draft for the International Standard ISO\/IEC 15909 Part 2 - Version 0.9.0 (June 2005)"},{"key":"23_CR19","unstructured":"Kindler, E.: The petri net markup language and iso\/iec 15909-2: Concepts, status, and future directions. In: Entwurf komplexer Automatisierungssysteme (to appear)"},{"key":"23_CR20","unstructured":"Kordon, F., Petrucci, L.: Proposal for an addendum to ISO\/IEC 15909-1, document reference MAL-12. NWI For the Malaga Meeting (November 2004)"},{"key":"23_CR21","unstructured":"Modeling and Verification Department. PNML Framework. LIP6, http:\/\/www.lip6.fr\/pnml"},{"key":"23_CR22","unstructured":"University of\u00a0Aarhus. Computer Tool for Coloured Petri Nets - CPNTool, http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki"},{"key":"23_CR23","unstructured":"OMG. MetaObjectFacility 2.0 Core Specification, document no:omg\/2003-10-04. OMG (October 2003)"},{"key":"23_CR24","unstructured":"OMG. OCL 2.0 Specification - Version 2.0 ptc\/2005-06-06. OMG (June 2005)"},{"key":"23_CR25","unstructured":"The CPN-AMI\u00a0Home page, http:\/\/www.lip6.fr\/cpn-ami"},{"key":"23_CR26","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J. Peterson","year":"1981","unstructured":"Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Inc., Englewood Cliffs (1981)"},{"key":"23_CR27","unstructured":"Popma, R.: Introduction to JET. Azzurri Ltd. (2005), http:\/\/eclipse.org\/emf\/docs.php?doc=tutorials\/jet1\/jet_tutorial1.html"},{"key":"#cr-split#-23_CR28.1","unstructured":"Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science, original edition, vol.??4. Springer, Heidelberg (1985);"},{"key":"#cr-split#-23_CR28.2","unstructured":"NewsletterInfo: 19 translation of the German: W. Reisig, Petrinetze (1982)"},{"key":"23_CR29","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Petri nets and algebraic specifications. Theoretical Computer Science\u00a080, 1\u201334 (1991), NewsletterInfo: 38,39","DOI":"10.1016\/0304-3975(91)90203-E"},{"key":"23_CR30","unstructured":"AT&T Research. GraphViz, http:\/\/www.graphviz.org\/"},{"key":"23_CR31","unstructured":"W3C. MathML 2.0, W3C Math Home. W3C, http:\/\/www.w3.org\/Math\/"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11888116_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T08:25:48Z","timestamp":1555835148000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11888116_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462194","9783540462200"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/11888116_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}