{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:53:29Z","timestamp":1730220809495,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/etfa.2018.8502471","type":"proceedings-article","created":{"date-parts":[[2018,11,15]],"date-time":"2018-11-15T22:20:08Z","timestamp":1542320408000},"page":"426-432","source":"Crossref","is-referenced-by-count":1,"title":["Control design for timed Petri nets based on LMIs and structure expansion"],"prefix":"10.1109","author":[{"given":"Alioune","family":"Mbaye","sequence":"first","affiliation":[]},{"given":"Dimitri","family":"Lefebvre","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Basile","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"593","article-title":"Petri net based approach to modeling and scheduling for an FMS and a case study","volume":"4l","author":"sun","year":"1994","journal-title":"IEEE Trans Ind Electron"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.999652"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1109\/TSMC.2014.2351375","article-title":"Deadlock-Free Scheduling of Automated Manufacturing Systems Using Petri Nets and Hybrid Heuristic Search","volume":"45","author":"luo","year":"2015","journal-title":"IEEE Trans Syst Man and Cyb"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/66.705373"},{"key":"ref14","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":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2004.12.002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2258907"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2017.04.034"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2363311"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.2467165"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2013.22"},{"journal-title":"Stochastic Petri Nets (Chapter 7) in Petri Nets Fundamental Models and Applications","year":"2009","author":"haddad","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-8133-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/970487"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2363916"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(86)90028-2"},{"key":"ref7","article-title":"Approximated Timed Reachability Graphs for performance evaluation and control of DES","author":"lefebvre","year":"2018","journal-title":"IFAC WODES 18"},{"key":"ref2","first-page":"246","article-title":"Using Zone Graph Method for Computing the State Space of a Time Petri Net","volume":"2791","author":"gardey","year":"2003","journal-title":"FORMATS 2003"},{"key":"ref9","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":"ref1","first-page":"442","article-title":"State Class Constructions for Branching Analysis of Time Petri Nets","volume":"2619","author":"berthomieu","year":"2003","journal-title":"TACAS 2003"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.304"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.06.039"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1023\/B:OPTE.0000013633.35184.6d"},{"journal-title":"Petri Nets and Grafcet Tools for Modeling Discrete Event Systems","year":"1992","author":"david","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2017.2714981"},{"key":"ref26","article-title":"Analysis of asynchronous concurrent systems by timed Petri nets","author":"ramchandani","year":"1973","journal-title":"Ph D"},{"journal-title":"Discrete Event Systems Modeling and Performances Analysis","year":"1993","author":"cassandras","key":"ref25"}],"event":{"name":"2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2018,9,4]]},"location":"Turin","end":{"date-parts":[[2018,9,7]]}},"container-title":["2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8488382\/8502441\/08502471.pdf?arnumber=8502471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T22:38:28Z","timestamp":1598222308000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8502471\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/etfa.2018.8502471","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}