{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:40:09Z","timestamp":1760820009417,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654605"},{"type":"electronic","value":"9783540492559"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49255-0_169","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T03:59:14Z","timestamp":1195012754000},"page":"511-514","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["UML\/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"J\u00e9r\u00f4me","family":"Delatour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Paludetto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,26]]},"reference":[{"key":"169_CR1","unstructured":"Paludetto M., About real-time industrial processes control: a methodology based on objects and Petri nets, University Paul Sabatier, Toulouse, thesis 1991, (in French)."},{"key":"169_CR2","doi-asserted-by":"crossref","unstructured":"Paludetto M., Raymond S., A Methodology based on Objects and Petri Nets for Development of real-time Software, Conf. Proc. IEEE International Conference on Systems, Man and Cybernetics, vol2, p. 705\u2013710, Le Touquet, France, 17\u2013-20 oct. 1993.","DOI":"10.1109\/ICSMC.1993.384958"},{"key":"169_CR3","unstructured":"Delatour J., Paludetto M., Benzina A., Mod\u00e9lisation par la m\u00e9thode HOOD\/PNO (Objets \u00e0 r\u00e9seaux de Petri), Proc. of Real Time Systems 98, Paris, jan. 1998, (in French)."},{"key":"169_CR4","unstructured":"HOOD, Reference Manual, E.S.A. European Space Agency, version 4.0, 1996."},{"key":"169_CR5","unstructured":"Unified Modeling Language ver 1.1, http:\/\/www.rational.com\/uml , sept. 1997"},{"key":"169_CR6","doi-asserted-by":"publisher","first-page":"321","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, Science of computer programming, 8, p. 321\u2013274, 1987.","journal-title":"Science of computer programming"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Technology: ECOOP\u201998 Workshop Reader"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49255-0_169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T09:15:33Z","timestamp":1737537333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49255-0_169"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654605","9783540492559"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-49255-0_169","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"26 July 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}