{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T14:10:58Z","timestamp":1771510258411,"version":"3.50.1"},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T00:00:00Z","timestamp":1396310400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/tsmc.2013.2258907","type":"journal-article","created":{"date-parts":[[2013,7,24]],"date-time":"2013-07-24T22:52:11Z","timestamp":1374706331000},"page":"482-493","source":"Crossref","is-referenced-by-count":33,"title":["A Configurable State Class Method for Temporal Analysis of Time Petri Nets"],"prefix":"10.1109","volume":"44","author":[{"given":"Li","family":"Pan","sequence":"first","affiliation":[]},{"given":"Zhi Jun","family":"Ding","sequence":"additional","affiliation":[]},{"given":"Meng Chu","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2009.2032661"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1109\/TASE.2008.916737","article-title":"A Petri net based heuristic algorithm for realizability of target refining schedules in oil refinery","volume":"5","author":"wu","year":"2008","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2178023"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2012.2199338"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2192476"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2012.2222945"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046412"},{"key":"ref36","author":"wu","year":"2010","journal-title":"System Modeling and Control with Resource-Oriented Petri Nets"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.183"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046736"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875448"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2011.2170678"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1041054"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.940727"},{"key":"ref13","first-page":"435","article-title":"Analyse des r\ufffdseaux temporels. Calcul des classes en O(n2) et des temps de chemin en O(m x n)","volume":"22","author":"boucheneb","year":"2003","journal-title":"Tech Sci Inform"},{"key":"ref14","first-page":"1","article-title":"CTL model checking of time Petri nets using geometric regions","volume":"e99 d","author":"yoneda","year":"1998","journal-title":"IEICE Trans Inform Syst"},{"key":"ref15","first-page":"442","article-title":"State class constructions for branching analysis of time Petri nets","volume":"lncs 2619","author":"berthomieu","year":"2003","journal-title":"Proc TACAS"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0040-3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.019"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.195"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2204741"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2059015"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/32.265634"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref6","first-page":"1","article-title":"Short-term schedulability analysis of multiple distiller crude oil operations in refinery with oil residency time constraint","volume":"39","author":"wu","year":"2009","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2001688"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1109\/TASE.2008.2008633","article-title":"A closed-form solution for schedulability and optimal scheduling of dual-arm cluster tools with wafer residency time constraint based on steady schedule analysis","volume":"7","author":"wu","year":"2010","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2187890"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2008.2000425"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2226442"},{"key":"ref1","author":"ramchandani","year":"1974","journal-title":"Analysis of asynchronous concurrent systems by timed Petri nets"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953371"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","article-title":"Timed automata: Semantics, algorithms and tools","volume":"lncs 3098","author":"bengtsson","year":"2004","journal-title":"Lecture Notes on Concurrency and Petri Nets"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00114-0"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2009.2009125"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/367766.368168"},{"key":"ref41","author":"wang","year":"1998","journal-title":"Timed Petri Nets Theory and Application"},{"key":"ref23","first-page":"197","article-title":"Timing assumptions and verification of finite-state concurrent systems","volume":"lncs 407","author":"dill","year":"1989","journal-title":"Proc of the Workshop on Computer Aided VerificationMethods for Finite State Systems"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/32.67597"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2003.819737"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/70.282537"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/6766681\/06568015.pdf?arnumber=6568015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:31:30Z","timestamp":1642005090000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6568015\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":43,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2013.2258907","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4]]}}}