{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:24:16Z","timestamp":1777634656233,"version":"3.51.4"},"reference-count":26,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2011,5,1]],"date-time":"2011-05-01T00:00:00Z","timestamp":1304208000000},"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. A"],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1109\/tsmca.2010.2076397","type":"journal-article","created":{"date-parts":[[2010,11,10]],"date-time":"2010-11-10T21:13:38Z","timestamp":1289423618000},"page":"522-539","source":"Crossref","is-referenced-by-count":7,"title":["Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings"],"prefix":"10.1109","volume":"41","author":[{"given":"Haisheng","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liviu","family":"Grigore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Buy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mihai","family":"Lehene","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houshang","family":"Darabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014746130920"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-005-4057-z"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1287\/opre.20.4.835"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1080\/002075400188942"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.800641"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1990.126034"},{"key":"ref17","author":"khomenko","year":"2003","journal-title":"Model checking based on prefixes of Petri net unfoldings"},{"key":"ref18","author":"kusiak","year":"2000","journal-title":"Computational Intelligence in Manufacturing"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref4","article-title":"Deadline-enforcing supervisory control for time Petri nets","author":"buy","year":"2003","journal-title":"IMACS Multiconference CESA"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(87)90240-2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.35.2.164"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/201024.201038"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2003.813149"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/17.387271"},{"key":"ref9","author":"esparza","year":"2008","journal-title":"Unfoldings A Partial-Order Approach to Model Checking"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.018"},{"key":"ref20","first-page":"229","article-title":"On the synthesis of discrete controllers for timed systems","author":"maler","year":"1995","journal-title":"Proc 12th Annu STACS"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384314"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240530"},{"key":"ref23","author":"pinedo","year":"2002","journal-title":"Scheduling Theory Algorithms and Systems"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2076397"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3468\/5749780\/05618575.pdf?arnumber=5618575","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:45:51Z","timestamp":1633913151000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5618575\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":26,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2010.2076397","relation":{},"ISSN":["1083-4427","1558-2426"],"issn-type":[{"value":"1083-4427","type":"print"},{"value":"1558-2426","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5]]}}}