{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:48:44Z","timestamp":1729626524363,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/ebccsp.2017.8022831","type":"proceedings-article","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T16:38:38Z","timestamp":1504197518000},"page":"1-8","source":"Crossref","is-referenced-by-count":11,"title":["Unified enhanced time Petri net models for development of the reactive applications"],"prefix":"10.1109","author":[{"given":"Tiberiu S.","family":"Letia","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Attila O.","family":"Kilyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTCC.2014.6982486"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.17485\/ijst\/2015\/v8i14\/70702"},{"key":"ref12","first-page":"100","article-title":"Fuzzy Colored Petri nets in flexible manufacturing Systems","author":"yeung","year":"1996","journal-title":"Proc 1996 1st Joint Conf Intelligent Systems\/ISAI\/IFIS"},{"key":"ref13","first-page":"437","article-title":"A New Method to Checking Rule Bases for inconsistency: A Petri Net Approach","author":"meseguer","year":"1990","journal-title":"Proc Ninth European Conf AI"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1185845"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-015-9451-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/175247.175254"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/21.52552"},{"journal-title":"A Study in Fuzzy Petri Nets and the Relationship to Fuzzy Logic Programming Reports on Computer Science and Mathematics bo Akademi A","year":"1995","author":"virtanen","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/AQTR.2016.7501322"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/WCSP.2011.6096958"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.15439\/2015F132"},{"key":"ref6","article-title":"Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies","author":"reisig","year":"2013","journal-title":"Springer"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.922714"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.67597"},{"key":"ref2","article-title":"Performance Analysis of a Network of Event-based Systems","volume":"61","author":"ramesh","year":"2014","journal-title":"IEEE AC Trans"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10778-2"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/A:1008330914786","volume":"11","author":"david","year":"2001","journal-title":"On Hybrid Petri Nets Discrete Event Dynamic Systems Theory and Applications"},{"key":"ref20","first-page":"85","volume":"3","author":"araki","year":"1976","journal-title":"Some decision problems related to the reachability problem for Petri nets In Theoretical Computer Science"}],"event":{"name":"2017 3rd International Conference on Event-Based Control, Communication and Signal Processing (EBCCSP)","start":{"date-parts":[[2017,5,24]]},"location":"Funchal, Portugal","end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 3rd International Conference on Event-Based Control, Communication and Signal Processing (EBCCSP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8013515\/8022796\/08022831.pdf?arnumber=8022831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T20:46:50Z","timestamp":1570049210000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8022831\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/ebccsp.2017.8022831","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}