{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:36:30Z","timestamp":1729650990596,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/indin.2015.7281851","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T17:59:09Z","timestamp":1443722349000},"page":"876-882","source":"Crossref","is-referenced-by-count":0,"title":["High-level Petri nets modules for embedded controllers design"],"prefix":"10.1109","author":[{"given":"Jose","family":"Ribeiro","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Melicio","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"ISO\/IEC","article-title":"Software and systems engineering - high-level Petri nets, part 1: Concepts, definitions and graphical notation","year":"2004","key":"ref10"},{"journal-title":"ISO\/IEC","article-title":"Systems and software engineering high-level Petri nets, part 2: Petri net markup language","year":"2011","key":"ref11"},{"journal-title":"Xml web page","year":"2015","key":"ref12"},{"key":"ref13","article-title":"A universal module concept for Petri nets-an implementation-oriented approach","author":"kindler","year":"2001","journal-title":"Informatik-Bericht 150 Humboldt-Universitt zu Berlin Institut fr Informatik"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02424-5_5"},{"key":"ref15","article-title":"Analysis of production schemata by Petri nets","author":"hack","year":"1972","journal-title":"Massachusetts Institute of Technology"},{"key":"ref16","first-page":"313","article-title":"Hierarchies in coloured Petri nets","author":"huber","year":"1989","journal-title":"Advances in Petri Nets 1990"},{"key":"ref17","first-page":"20","volume":"awpn","author":"kindler","year":"2007","journal-title":"Modular PNML revisited Some ideas for strict typing stephan philippi and alexander pinl ed University of Koblenz-Landau 2007"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844433"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2013.6645633"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-08921-7_85","article-title":"Synchronized Petri nets: A model for the description of non-autonomous sytems","volume":"64","author":"moalla","year":"1978","journal-title":"Lecture Notes in Computer Science"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034907"},{"journal-title":"Iopt tool web page","year":"2015","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2012.6389075"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034908"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"journal-title":"Petri Nets for Systems Engineering","year":"2001","author":"girault","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2341933"}],"event":{"name":"2015 IEEE 13th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2015,7,22]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2015,7,24]]}},"container-title":["2015 IEEE 13th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7270516\/7281697\/07281851.pdf?arnumber=7281851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T16:37:15Z","timestamp":1498235835000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7281851\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/indin.2015.7281851","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}