{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:26:48Z","timestamp":1775874408143,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642136740","type":"print"},{"value":"9783642136757","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13675-7_20","type":"book-chapter","created":{"date-parts":[[2010,6,11]],"date-time":"2010-06-11T15:26:50Z","timestamp":1276270010000},"page":"318-327","source":"Crossref","is-referenced-by-count":36,"title":["PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language"],"prefix":"10.1007","author":[{"given":"L. M.","family":"Hillah","sequence":"first","affiliation":[]},{"given":"F.","family":"Kordon","sequence":"additional","affiliation":[]},{"given":"L.","family":"Petrucci","sequence":"additional","affiliation":[]},{"given":"N.","family":"Tr\u00e8ves","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Electronic Notes in Theor. Comp. Sci.","first-page":"231","volume-title":"Proc. Workshop REFINE (associated with FM2008)","author":"C. Choppy","year":"2008","unstructured":"Choppy, C., Mayero, M., Petrucci, L.: Experimenting formal proofs of Petri Nets refinements. In: Proc. Workshop REFINE (associated with FM2008), Turku, Finland, May 2008. Electronic Notes in Theor. Comp. Sci., vol.\u00a0214, pp. 231\u2013254. Elsevier Science, Amsterdam (2008)"},{"key":"20_CR2","unstructured":"Eclipse Foundation. Eclipse Modeling Framework, \n                    \n                      http:\/\/www.eclipse.org\/emf\/"},{"key":"20_CR3","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. In: Petri Net Newsletter (originally presented at the 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools \u2013 CPN 2009), October 2009, vol.\u00a076, pp. 9\u201328 (2009), \n                    \n                      http:\/\/www.cs.au.dk\/CPnets\/events\/workshop09\/assets\/paper06.pdf"},{"key":"20_CR4","unstructured":"The\u00a0Coloane home page (2009), \n                    \n                      http:\/\/coloane.lip6.fr\/"},{"key":"20_CR5","unstructured":"The CPN-AMI home page (2009), \n                    \n                      http:\/\/www.lip6.fr\/cpn-ami"},{"key":"20_CR6","unstructured":"The PNML\u00a0Framework home page (2009), \n                    \n                      http:\/\/pnml.lip6.fr\/"},{"key":"20_CR7","unstructured":"INRIA. The Coq Proof Assistant home page (2009), \n                    \n                      http:\/\/coq.inria.fr\/"},{"key":"20_CR8","unstructured":"ISO\/IEC\/SC7\/WG19. The Petri Net Markup Language home page (2009), \n                    \n                      http:\/\/www.pnml.org"}],"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-13675-7_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:10:25Z","timestamp":1619784625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13675-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136740","9783642136757"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13675-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}