{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T23:15:52Z","timestamp":1768691752256,"version":"3.49.0"},"reference-count":23,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T00:00:00Z","timestamp":1459468800000},"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. Automat. Sci. Eng."],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/tase.2015.2467165","type":"journal-article","created":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T18:50:30Z","timestamp":1441306230000},"page":"1215-1221","source":"Crossref","is-referenced-by-count":29,"title":["Approaching Minimal Time Control Sequences for Timed Petri Nets"],"prefix":"10.1109","volume":"13","author":[{"given":"Dimitri","family":"Lefebvre","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.egypro.2012.02.128"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2004.12.002"},{"key":"ref12","author":"ramchandani","year":"1973","journal-title":"Analysis of asynchronous concurrent systems by timed Petri nets"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(78)90001-8"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-85729-398-5","author":"camacho","year":"2007","journal-title":"Model Predictive Control"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(86)90028-2"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1109\/70.282537","article-title":"Scheduling flexible manufacturing systems using Petri nets and heuristic search","volume":"10","author":"lee","year":"1994","journal-title":"IEEE Trans Robot Autom"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1109\/41.334576","article-title":"Petri net based approach to modeling and scheduling for an FMS and a case study","volume":"41","author":"sun","year":"1994","journal-title":"IEEE Trans Ind Electron"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1109\/66.705373","article-title":"Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search","volume":"11","author":"xiong","year":"1998","journal-title":"IEEE Trans Semicond Manuf"},{"key":"ref19","first-page":"139","article-title":"Heuristic search approach using approximate solutions to Petri net state equations for scheduling flexible manufacturing systems","volume":"10","author":"jeng","year":"1998","journal-title":"Int J FMS"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.08.018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2009.05.006"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.10.031"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.06.478"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2363311"},{"key":"ref2","author":"david","year":"1992","journal-title":"Petri Nets and Grafcet Tools for Modeling Discrete Event Systems"},{"key":"ref1","author":"cassandras","year":"1993","journal-title":"Discrete Event Systems Modeling and Performances Analysis"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.929386"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1080\/00207540210136496"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2014.04.002"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.999652"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2011.2170678"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/7447676\/7239637.pdf?arnumber=7239637","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T02:34:22Z","timestamp":1633919662000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7239637\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":23,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tase.2015.2467165","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4]]}}}