{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T04:38:51Z","timestamp":1722919131475},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2003.1243881","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"604-609","source":"Crossref","is-referenced-by-count":2,"title":["Specification of distributed systems using multi-level petri nets"],"prefix":"10.1109","volume":"1","author":[{"given":"F.F.","family":"Ramos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Zuniga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Alcala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Piza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","article-title":"The Object Orientation of Object Petri Nets","author":"lakos","year":"0","journal-title":"Proceedings of the first international workshop on Object-Oriented Programming and Models of Concurrency - 16th International Conference on Application and Theory of Petri Nets"},{"article-title":"An Introduction to the Theoretical Aspects of Coloured Petri Nets","year":"0","author":"kurt","key":"ref3"},{"article-title":"Petri nets as token objects; An introduction to elementary object","year":"0","author":"rudiger","key":"ref6"},{"journal-title":"OMG Specifications","year":"2000","key":"ref5"},{"key":"ref8","article-title":"A 3D-Space Platform for Distributed Applications Management","author":"fabiel","year":"2002","journal-title":"International Symposium on Advanced Distributed Systems 2002 (ISADS)"},{"article-title":"Concurrency in Communicating Object Petri nets","year":"0","author":"r\u00fcdiger","key":"ref7"},{"article-title":"Agents and Petri Nets","year":"0","author":"tom","key":"ref2"},{"article-title":"Free Choice Petri Nets","year":"1995","author":"j\u00f6rg","key":"ref1"}],"event":{"name":"SMC'03 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)","acronym":"ICSMC-03","location":"Washington, DC, USA"},"container-title":["SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8811\/27871\/01243881.pdf?arnumber=1243881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T21:28:35Z","timestamp":1489440515000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1243881\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2003.1243881","relation":{},"subject":[]}}