{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T17:09:10Z","timestamp":1675789750210},"reference-count":11,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J CIRCUIT SYST COMP"],"published-print":{"date-parts":[[2005,8]]},"abstract":"<jats:p> Place merging is an important technique of Petri nets to composite different components\/subsystems into a large system. However, it is a difficult and complex task to guarantee that the composite large system can preserve desired properties. This paper avoids the verification process by a property-preservation place-merging approach. The strategy used in this paper is to require such a composition to preserve these desirable properties (including liveness and boundedness) of the components in the resulting system. Meanwhile, this paper also investigates one kind of decompositions in terms of places, some conditions are presented under which if the large system possesses some properties, then the resulting components also preserve the desirable properties without the need of further verification. An application example is given to illustrate our method and some main results. <\/jats:p>","DOI":"10.1142\/s021812660500260x","type":"journal-article","created":{"date-parts":[[2005,9,23]],"date-time":"2005-09-23T10:42:07Z","timestamp":1127472127000},"page":"793-812","source":"Crossref","is-referenced-by-count":12,"title":["PROPERTY-PRESERVING COMPOSITION BY PLACE MERGING"],"prefix":"10.1142","volume":"14","author":[{"given":"LI","family":"JIAO","sequence":"first","affiliation":[{"name":"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, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05324-9"},{"key":"rf3","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"Jensen K.","year":"1993"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1007\/BF02023780"},{"key":"rf7","first-page":"963","volume":"21","author":"Koh I.","journal-title":"IEEE Trans. Syst., Man and Cybernetics"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/43.3.224"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1080"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00359-1"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"rf24","volume-title":"Applications of Petri Nets in Manufacturing Systems: Modeling, Control and Performance Analysis","author":"Desrochers A. A.","year":"1995"},{"key":"rf25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"}],"container-title":["Journal of Circuits, Systems and Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021812660500260X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T03:44:07Z","timestamp":1565149447000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S021812660500260X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,8]]},"references-count":11,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2005,8]]}},"alternative-id":["10.1142\/S021812660500260X"],"URL":"https:\/\/doi.org\/10.1142\/s021812660500260x","relation":{},"ISSN":["0218-1266","1793-6454"],"issn-type":[{"value":"0218-1266","type":"print"},{"value":"1793-6454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,8]]}}}