{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T17:17:31Z","timestamp":1675790251089},"reference-count":20,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J CIRCUIT SYST COMP"],"published-print":{"date-parts":[[2008,6]]},"abstract":"<jats:p> Resource sharing is a very complex task in system design because it may induce undesirable properties such as deadlocks and overflows. This paper proposes a method for handling this task. Resource sharing is formulated as a place fusion on a Petri net specification that satisfies a designated set of properties and includes some duplicated places representing accesses to the resources. If this fusion satisfies some conditions, the obtained net will preserve the original properties after the incorporation of resource sharing. This paper considers two classes of property-preserving place fusions. Each class specifies the Petri net type to be used, the structural relationship among the resource places and possibly some additional conditions for the place fusion to preserve a designated set of properties. As an illustration, these place fusion approaches are applied to solve a resource sharing problem in the design of manufacturing systems. <\/jats:p>","DOI":"10.1142\/s021812660800437x","type":"journal-article","created":{"date-parts":[[2009,1,22]],"date-time":"2009-01-22T04:55:20Z","timestamp":1232600120000},"page":"365-387","source":"Crossref","is-referenced-by-count":5,"title":["HANDLING RESOURCE SHARING PROBLEM USING PROPERTY-PRESERVING PLACE FUSIONS OF PETRI NETS"],"prefix":"10.1142","volume":"17","author":[{"given":"LI","family":"JIAO","sequence":"first","affiliation":[{"name":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HEJIAO","family":"HUANG","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Information Technology, Harbin Institute of Technology Shenzhen Graduate School, Shenzhen, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"TO-YAT","family":"CHEUNG","sequence":"additional","affiliation":[{"name":"Department of Computer Science, City University of Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","first-page":"720","volume":"6","author":"Banaszak Z.","journal-title":"IEEE Trans. Robotics Automat."},{"key":"rf2","first-page":"196","volume":"10","author":"Hsien F. S.","journal-title":"IEEE Trans. Robotics Automat."},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1109\/70.388774"},{"key":"rf4","first-page":"289","volume":"42","author":"Xing K. Y.","journal-title":"IEEE Trans. Automatic Control"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1109\/70.988975"},{"key":"rf7","first-page":"277","volume":"524","author":"Souissi Y.","journal-title":"LNCS"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"rf9","first-page":"793","volume":"13","author":"Chu F.","journal-title":"IEEE Trans. Robotics Automat."},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1109\/3477.558787"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/43.3.224"},{"key":"rf12","first-page":"23","volume":"2679","author":"Colom J. M.","journal-title":"LNCS"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558"},{"key":"rf15","first-page":"25","volume":"935","author":"Barkaoui K.","journal-title":"LNCS"},{"key":"rf16","first-page":"241","volume":"2679","author":"Reveliotis S. A.","journal-title":"LNCS"},{"key":"rf17","volume-title":"Petri Nets for System Engineering \u2014 A Guide to Modeling, Verification, and Applications","author":"Girault C.","year":"2003"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00359-1"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1142\/S021812660500260X"},{"key":"rf20","volume-title":"Applications of Petri Nets in Manufacturing Systems: Modeling, Control and Performance Analysis","author":"Desrochers A. A.","year":"1995"}],"container-title":["Journal of Circuits, Systems and Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021812660800437X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T13:56:35Z","timestamp":1565186195000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S021812660800437X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":20,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2008,6]]}},"alternative-id":["10.1142\/S021812660800437X"],"URL":"https:\/\/doi.org\/10.1142\/s021812660800437x","relation":{},"ISSN":["0218-1266","1793-6454"],"issn-type":[{"value":"0218-1266","type":"print"},{"value":"1793-6454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,6]]}}}