{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T23:59:47Z","timestamp":1730246387751,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/icinfa.2013.6720374","type":"proceedings-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T22:34:30Z","timestamp":1391207670000},"page":"637-642","source":"Crossref","is-referenced-by-count":1,"title":["Simulation of colored time Petri nets"],"prefix":"10.1109","author":[{"given":"Hongmei","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ISIC.1991.187349"},{"journal-title":"Colored Petri Nets for Systems Biology","year":"2012","author":"fei","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CESA.2006.4281622"},{"key":"15","first-page":"2203","article-title":"Verification mechanism for semantic web service composition based on colored petri nets","volume":"13","author":"luo","year":"2007","journal-title":"Computer Integrated Manufacturing Systems"},{"key":"16","article-title":"An efficient method for unfolding colored petri nets","author":"fei","year":"2012","journal-title":"Proceedings of the 2012 Winter Simulation Conference"},{"key":"13","first-page":"342","volume":"483","author":"jensen","year":"1990","journal-title":"Coloured Petri Nets A High Level Language for System Design and Analysis"},{"key":"14","first-page":"410","article-title":"Integration of a data model and petri nets","author":"van hee","year":"1991","journal-title":"Proceeding of the 12th International Conference on Applications and Theory of Petri Nets"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"12","first-page":"248","author":"brauer","year":"1987","journal-title":"Colored Petri Nets in Advancs in Petri Nets - Part I Petri Nets Central Models and their Properties"},{"key":"21","first-page":"9","article-title":"Improving cluster tools performance using colored petri nets in semiconductor manifacturing","volume":"1","author":"dong","year":"2012","journal-title":"Simulation Conference (WSC) Proceedings of the 2012 Winter"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2010.5679170"},{"key":"22","first-page":"781","article-title":"Integrated manufacturing system modeling and simulation using distributed colored timed petri net","volume":"3","author":"kuo","year":"1999","journal-title":"Proc Conf Systems Man and Cybernetics"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2010.5679170"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2170064"},{"key":"25","article-title":"Timed colored petri nets based modelling and scheduling of aero-engine maintenance","volume":"4","author":"tang","year":"2006","journal-title":"Nature and Science"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2005.1571334"},{"journal-title":"Discrete Continuous and Hybrid Petri Nets","year":"2005","author":"david","key":"3"},{"key":"2","first-page":"7632","volume":"290","author":"peterson","year":"1981","journal-title":"Petri Net Theory and the Modeling of Systems"},{"key":"10","article-title":"Interval timed coloured petri nets and their analysis","author":"van der aalst","year":"1991","journal-title":"Computing Science 91\/09"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"journal-title":"Analysis of Asyncronous Concurent Systems by Time Petri Nets","year":"1974","author":"ramchandani","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00008-5"},{"key":"5","first-page":"165","author":"sifakis","year":"1977","journal-title":"Etude Du Comportement Permanent des Reseaux de Petri Temporiss"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/LOGISTIQUA.2011.5939299"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CESA.2006.4281622"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68894-5_7"}],"event":{"name":"2013 IEEE International Conference on Information and Automation (ICIA)","start":{"date-parts":[[2013,8,26]]},"location":"Yinchuan, China","end":{"date-parts":[[2013,8,28]]}},"container-title":["2013 IEEE International Conference on Information and Automation (ICIA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6709836\/6720259\/06720374.pdf?arnumber=6720374","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T03:52:32Z","timestamp":1490241152000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6720374\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/icinfa.2013.6720374","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}