{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:40:39Z","timestamp":1730209239552,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1109\/codit.2017.8102625","type":"proceedings-article","created":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T16:15:31Z","timestamp":1511885731000},"page":"0404-0409","source":"Crossref","is-referenced-by-count":2,"title":["Embedding time Petri nets"],"prefix":"10.1109","author":[{"given":"Maurice","family":"Comlan","sequence":"first","affiliation":[]},{"given":"David","family":"Delfieu","sequence":"additional","affiliation":[]},{"given":"Medesu","family":"Sogbohossou","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Vianou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Kommunikation mit Automaten","author":"petri","year":"1962","journal-title":"Institut fur Instrumentelle Mathematik Bonn Schriften des IIM Nr 2"},{"key":"ref11","first-page":"418","author":"taubner","year":"1988","journal-title":"On the implementation of Petri nets Article in Advances in Petri Nets"},{"key":"ref12","first-page":"225","article-title":"On the compared expressiveness of arc, place and transition time Petri Nets","volume":"88","author":"marc","year":"2008","journal-title":"Article in Fundamenta Informaticae"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref14","article-title":"Time Petri Nets: A Primer Introduction","author":"pezz\u00e8","year":"1999","journal-title":"Tutorial at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56863-8_52"},{"key":"ref16","article-title":"P- Time Petri Nets for manufacturing systems","author":"khansa","year":"1996","journal-title":"International Workshop on Discrete Event Systems WODES96 Edinburgh (U K )"},{"key":"ref17","first-page":"21","author":"delfieu","year":"2014","journal-title":"Unfolding of time Petri nets for quantitative time analysis Sixth International conference on Advances in System Testing and Validation Lifecycle"},{"key":"ref18","first-page":"203","article-title":"Petri nets-based development of dynamically reconfigurable embedded systems","author":"tom\u00e1\u0161 richta","year":"2013","journal-title":"Proceedings Volume 989 of CEUR Workshop Proceedings"},{"journal-title":"Prototypage de systèmes parallèles partir de rèseaux de Petri colorés application au langage Ada dans un environnement centralisé ou rparti","year":"1992","author":"kordon","key":"ref4"},{"key":"ref3","first-page":"1","volume":"216","author":"cerone","year":"1999","journal-title":"Time-based expressivity of time Petri netds for system specification Therorical Computer Science"},{"key":"ref6","first-page":"461","volume":"22","author":"ferrarini","year":"1992","journal-title":"An Incremental Approach to Logic Controller Design with Petri Nets Article in IEEE Transactions on Systems Man and Cybernetics"},{"key":"ref5","volume":"15","author":"lee","year":"2004","journal-title":"Automatic generation of ladder diagram with control Petri Nets Journal of Intelligent Manufacturing"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"ref7","first-page":"432","author":"girault","year":"1998","journal-title":"Petri Nets for Systems Engineering A Guide to Modeling"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0011-y"},{"key":"ref1","article-title":"Semantic Embedding of Petri Nets into Event B","author":"attiogbe","year":"2009","journal-title":"International IM_FMT Dusseldorf"},{"key":"ref9","first-page":"75","article-title":"Use of Petri Nets for Performance Evaluation","author":"sifakis","year":"1977","journal-title":"Measuring Modeling and Evaluation of Computer Systems"}],"event":{"name":"2017 4th International Conference on Control, Decision and Information Technologies (CoDIT)","start":{"date-parts":[[2017,4,5]]},"location":"Barcelona","end":{"date-parts":[[2017,4,7]]}},"container-title":["2017 4th International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8091148\/8102545\/08102625.pdf?arnumber=8102625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T23:28:05Z","timestamp":1512689285000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8102625\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/codit.2017.8102625","relation":{},"subject":[],"published":{"date-parts":[[2017,4]]}}}