{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:49:22Z","timestamp":1729651762218,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/sies.2007.4297341","type":"proceedings-article","created":{"date-parts":[[2007,9,6]],"date-time":"2007-09-06T20:58:04Z","timestamp":1189112284000},"page":"242-249","source":"Crossref","is-referenced-by-count":5,"title":["Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems"],"prefix":"10.1109","author":[{"given":"Simon","family":"Tjell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Coloured Petri Nets - Basic Concepts Analysis Methods and Practical Use Vol 1 Basic Concepts ser Monographs in Theoretical Computer Science An EATCS Series","year":"1992","author":"jensen","key":"ref4"},{"journal-title":"OSI A Model for Computer Communication Standards","year":"1990","author":"black","key":"ref3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56777-1_30"},{"journal-title":"The Definition of Standard ML","year":"1990","author":"milner","key":"ref6"},{"key":"ref11","article-title":"Modeling an industrial transportation facility with coloured petri nets","author":"dane","year":"0","journal-title":"Manufacturing and Petri Nets (at ATPN 97)"},{"year":"0","key":"ref5","article-title":"Cpn ml"},{"journal-title":"Coloured Petri Nets - Basic Concepts Analysis Methods and Practical Use ser EATCS Monographs on Theoretical Computer Science","year":"1992","author":"jensen","key":"ref12"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/3-540-44919-1_20","article-title":"Reactive petri nets for workflow modeling","volume":"2679","author":"eshuis","year":"2003","journal-title":"ICATPN 2003 24th Int Conf on Application and Theory of Petri Nets ser LNCS"},{"year":"0","key":"ref7","article-title":"Cpn tools"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/52.896248"},{"key":"ref9","first-page":"1","article-title":"An introduction to modular process nets","author":"wikarski","year":"1996","journal-title":"TR-96-019 International Computer Science Institute"},{"journal-title":"Design Methods for Reactive Systems Yourdon Statemate and the UML","year":"2003","author":"wieringa","key":"ref1"}],"event":{"name":"2007 International Symposium on Industrial Embedded Systems","start":{"date-parts":[[2007,7,4]]},"location":"Costa da Caparica, Portugal","end":{"date-parts":[[2007,7,6]]}},"container-title":["2007 International Symposium on Industrial Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4297296\/4297297\/04297341.pdf?arnumber=4297341","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T22:39:30Z","timestamp":1497739170000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4297341\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/sies.2007.4297341","relation":{},"subject":[],"published":{"date-parts":[[2007,7]]}}}