{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T15:32:55Z","timestamp":1781019175522,"version":"3.54.1"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/robot.2005.1570131","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T23:42:54Z","timestamp":1137627774000},"page":"271-277","source":"Crossref","is-referenced-by-count":96,"title":["A Petri Net Structure\u2013 Based Deadlock Prevention Solution for Sequential Resource Allocation Systems"],"prefix":"10.1109","author":[{"given":"F.","family":"Tricas","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"Garcia-Valles","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.M.","family":"Colom","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Ezpeleta","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"17","doi-asserted-by":"crossref","first-page":"2036","DOI":"10.1109\/TAC.2003.819298","article-title":"Synthesis of supervisors enforcing general linear vector constraints in Petri nets","volume":"48","author":"v","year":"2003","journal-title":"IEEE Trans Automat Contr"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538247"},{"key":"15","first-page":"542","article-title":"A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming","author":"tricas","year":"1999","journal-title":"Proc of the 11th European Simulation Symposium"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.846460"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/70.744598"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1999.813106"},{"key":"11","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1109\/70.650158","article-title":"Deadlock analysis of Petri nets using siphons and mathematical programming","volume":"13","author":"chu","year":"1997","journal-title":"IEEE Trans Rob Automat"},{"key":"12","year":"0"},{"key":"21","first-page":"52","article-title":"Improving the linearly based characterization of P\/T nets","author":"colom","year":"1989","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"key":"20","author":"tricas","year":"2003","journal-title":"Deadlock analysis prevention and avoidance in sequential resource allocation systems"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"24","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-53863-1_23","article-title":"Improving the linearly based characterization of P\/T nets","volume":"483","author":"colom","year":"1991","journal-title":"ser Lecture Notes in Computer Science"},{"key":"25","first-page":"103","article-title":"Recherche des semi-flots, des verroux et des trappes dans les rseaux de Petri","author":"alaiwan","year":"1985","journal-title":"Technique et Science Informatiques"},{"key":"26","author":"silva","year":"1985","journal-title":"Las redes de Petri En la Automa?tica y la Informa?tica"},{"key":"27","doi-asserted-by":"crossref","first-page":"692","DOI":"10.1109\/70.781975","article-title":"ERCN-merged nets and their analysis using siphons","volume":"15","author":"xie","year":"1999","journal-title":"IEEE Trans Rob Automat"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1247724"},{"key":"3","first-page":"273","article-title":"A structural approach to the problem of deadlock prevention in processes with resources","author":"tricas","year":"1998","journal-title":"Proc of the Int Workshop on Discrete Event Systems(WODES'98)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.801048"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1997.633253"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/70.282544"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/70.585898"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167669"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/70.988975"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/70.768182"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/9.481550"}],"event":{"name":"2005 IEEE International Conference on Robotics and Automation","location":"Barcelona, Spain"},"container-title":["Proceedings of the 2005 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10495\/33250\/01570131.pdf?arnumber=1570131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T02:30:28Z","timestamp":1497666628000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1570131\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/robot.2005.1570131","relation":{},"subject":[]}}