{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T23:08:38Z","timestamp":1768345718231,"version":"3.49.0"},"reference-count":52,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T00:00:00Z","timestamp":1259625600000},"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. Multimedia"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1109\/tmm.2009.2032678","type":"journal-article","created":{"date-parts":[[2009,9,24]],"date-time":"2009-09-24T19:52:39Z","timestamp":1253821959000},"page":"1457-1465","source":"Crossref","is-referenced-by-count":59,"title":["Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets"],"prefix":"10.1109","volume":"11","author":[{"family":"HeSuan Hu","sequence":"first","affiliation":[]},{"family":"MengChu Zhou","sequence":"additional","affiliation":[]},{"family":"ZhiWu Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2001688"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916737"},{"key":"ref33","author":"zhou","year":"1998","journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref30","author":"lautenbach","year":"1996","journal-title":"The Linear Algebra of Deadlock Avoidance-A Petri Net Approach"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/70.143353"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1177\/0037549707079226"},{"key":"ref34","first-page":"1","volume":"3098","author":"van der aalst","year":"2003","journal-title":"Advanced Course on Petri Nets"},{"key":"ref28","first-page":"57","article-title":"on liveness and controlled siphons in petri nets","volume":"1091","author":"barkaoui","year":"1996","journal-title":"Proc Int Conf Application and Theory of Petri Nets"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/9.847725"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11888116_24"},{"key":"ref1","first-page":"3052","article-title":"lender processes competing for shared resources: beyond the <formula formulatype=\"inline\"><tex notation=\"tex\">$s^{4}pr$<\/tex> <\/formula> paradigm","author":"lpez-grao","year":"2006","journal-title":"Proc IEEE Int Conf Systems Man and Cybernetics"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570131"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"ref24","author":"hruz","year":"2007","journal-title":"Modeling and Control of Discrete Event Dynamic Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893461"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_17"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2019880"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2007947"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.923062"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/71.219761"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MMDBMS.1998.709776"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909542"},{"key":"ref12","first-page":"257","article-title":"time stream petri nets: a model for multimedia streams synchronization","author":"diaz","year":"1993","journal-title":"Proc Int Multimedia Modeling Conf"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF02998492","article-title":"toward a formal specification of multimedia synchronization scenarios","volume":"49","author":"senac","year":"1994","journal-title":"Ann Telecommun"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/12.675716"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2008.2001369"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2008.2001366"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2008.922846"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2008.917351"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2005.854377"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2004.836000"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/5.899055"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/12.24272"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/49.53017"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/76.911156"},{"key":"ref49","author":"li","year":"2009","journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/65.260079"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918605"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914747"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.923064"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2001709"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.896995"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2008.917177"}],"container-title":["IEEE Transactions on Multimedia"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6046\/5312980\/05256267.pdf?arnumber=5256267","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T06:43:12Z","timestamp":1633934592000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5256267\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":52,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tmm.2009.2032678","relation":{},"ISSN":["1520-9210","1941-0077"],"issn-type":[{"value":"1520-9210","type":"print"},{"value":"1941-0077","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12]]}}}