{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T16:24:47Z","timestamp":1648657487558},"reference-count":13,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2014,9,4]],"date-time":"2014-09-04T00:00:00Z","timestamp":1409788800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2014,10]]},"abstract":"<jats:p>We provide motivation for and then study the synthesis of Petri nets. Synthesis can avoid the state exploration problem by guaranteeing correctness for the Petri net. We propose conditions to be imposed on a synthesis shared pb-type subnet for systems specified in Petri nets that ensure the preservation of the liveness and boundedness structural properties. Specifically, we propose a group of sufficient conditions, or both sufficient and necessary conditions, for liveness preservation and boundedness preservation. Possible applications of this synthesis method are illustrated through an example in the form of a flexible manufacturing system. These results are useful for studying the static and dynamic properties of Petri nets for analysing the properties of large complex systems.<\/jats:p>","DOI":"10.1017\/s0960129512000515","type":"journal-article","created":{"date-parts":[[2014,9,5]],"date-time":"2014-09-05T00:08:51Z","timestamp":1409875731000},"source":"Crossref","is-referenced-by-count":1,"title":["Liveness and boundedness analysis of Petri net synthesis"],"prefix":"10.1017","volume":"24","author":[{"given":"CHUANLIANG","family":"XIA","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,9,4]]},"reference":[{"key":"S0960129512000515_ref7","unstructured":"Lorenz R. , Bergenthum R. , Desel J. and Mauser S. (2008) Synthesis of Petri nets from finite partial languages. 8th International Conference of Concurrency to System Design 170\u2013179."},{"key":"S0960129512000515_ref13","unstructured":"Xia C. (2008) Property preservation by Petri net synthesis in system design. Proceedings of International Technology and Environmental System Sciences 6\u201311."},{"key":"S0960129512000515_ref11","first-page":"4485","article-title":"Structural liveness preservation of Petri synthesis net","volume":"13","author":"Xia","year":"2005","journal-title":"Journal of Computational Information Systems"},{"key":"S0960129512000515_ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.06.018"},{"key":"S0960129512000515_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2004.04.004"},{"key":"S0960129512000515_ref4","first-page":"1309","article-title":"An approach for synthesis Petri nets for modeling and verifying composite web service","volume":"24","author":"Ding","year":"2008","journal-title":"Journal of Information Science and Engineering"},{"key":"S0960129512000515_ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"S0960129512000515_ref12","doi-asserted-by":"crossref","unstructured":"Xia C. (2006) Analysis of properties of Petri synthesis net. Proceedings of the 3rd International Conference on Theory and Applications of Models of Computation 576\u2013587.","DOI":"10.1007\/11750321_55"},{"key":"S0960129512000515_ref10","first-page":"43","article-title":"Control synthesis for manufacturing systems using non-safe Petri nets","volume":"11","author":"Vasiliu","year":"2009","journal-title":"CEAI"},{"key":"S0960129512000515_ref1","doi-asserted-by":"crossref","unstructured":"Agerwala T. and Choed-Amphai Y. (1978) A synthesis rule for concurrent systems. Proceedings of the 15th Design Automation Conference 305\u2013311.","DOI":"10.1109\/DAC.1978.1585190"},{"key":"S0960129512000515_ref5","doi-asserted-by":"publisher","DOI":"10.1109\/21.135693"},{"key":"S0960129512000515_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-005-4825-5"},{"key":"S0960129512000515_ref6","first-page":"583","volume-title":"Large-Scale Systems: Theory and Applications","author":"Krogh","year":"1986"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129512000515","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T00:22:54Z","timestamp":1555892574000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129512000515\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,4]]},"references-count":13,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["S0960129512000515"],"URL":"https:\/\/doi.org\/10.1017\/s0960129512000515","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,4]]},"article-number":"e240514"}}