{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,9,30]],"date-time":"2022-09-30T20:49:42Z","timestamp":1664570982162},"reference-count":26,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IMA J Math Control Info"],"DOI":"10.1093\/imamci\/dnw025","type":"journal-article","created":{"date-parts":[[2016,7,12]],"date-time":"2016-07-12T05:16:40Z","timestamp":1468300600000},"page":"dnw025","source":"Crossref","is-referenced-by-count":5,"title":["Proof by model: a new knowledge-based reachability analysis methodology for Petri net"],"prefix":"10.1093","author":[{"given":"Daniel Yuh","family":"Chao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yen-Ping","family":"Chi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsung-Hsien","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li-Chih","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike Y. J.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2016,7,11]]},"reference":[{"key":"2016071201591708000_dnw025v1.1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.850171"},{"key":"2016071201591708000_dnw025v1.2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxl019"},{"key":"2016071201591708000_dnw025v1.3","doi-asserted-by":"publisher","DOI":"10.1177\/0142331208095674"},{"key":"2016071201591708000_dnw025v1.4","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2010.0186"},{"key":"2016071201591708000_dnw025v1.5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2088120"},{"key":"2016071201591708000_dnw025v1.6","doi-asserted-by":"crossref","first-page":"702","DOI":"10.1080\/00207721.2012.745240","article-title":"Recursive solution of number of reachable states of a simple subclass of FMS","volume":"45","author":"Chao","year":"2012","journal-title":"Int J Syst Sci"},{"key":"2016071201591708000_dnw025v1.7","doi-asserted-by":"crossref","unstructured":"Chao D. Y. Yu T. H. (2013) Enumeration of reachable (forbidden, live, and deadlock) states of top k-th order system (with a non-sharing resource place) of Petri nets. IECON 2013\u201339th Annual Conference on IEEE Industrial Electronics Society, 10\u201313, Nov. 2013, Vienna, IEEE, (pp. 3517\u20133523).","DOI":"10.1109\/IECON.2013.6699694"},{"key":"2016071201591708000_dnw025v1.8","first-page":"823","article-title":"Enumeration of reachable (forbidden, live, and deadlock) states of K-th order system of Petri nets","volume":"32","author":"Chao","year":"2014","journal-title":"IMA J Math Control Inf"},{"key":"2016071201591708000_dnw025v1.9","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1177\/0142331214539989","article-title":"Computation of control related states of bottom k -th order system (with a non-sharing resource place) of Petri nets","volume":"37","author":"Chao","year":"2014","journal-title":"Trans. Inst. Measurement Control"},{"key":"2016071201591708000_dnw025v1.10","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1177\/0142331214564010","article-title":"Closed-form solution of controller synthesis for infinitely large systems of resource sharing systems of a subclass of Petri nets","volume":"38","author":"Chao","year":"2015","journal-title":"Trans. Inst. Measurement Control"},{"key":"2016071201591708000_dnw025v1.11","doi-asserted-by":"crossref","unstructured":"Chao D. Y. Yu T. H. (2015a) Closed form formula construction to enumerate control related states of bottom left k-net S3PR system (with a Bottom Left side non-sharing resource place) of Petri Nets Networking, Sensing and Control (ICNSC), 2015 IEEE 12th International Conference on 9\u201311 April 2015, Taipei, IEEE, (pp. 480\u2013485).","DOI":"10.1109\/ICNSC.2015.7116084"},{"key":"2016071201591708000_dnw025v1.12","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1080\/00207179.2015.1063164","article-title":"The fundamental closed-form solution of control-related states of k th order S3PR system with left-side non-sharing resource places of Petri nets","volume":"89","author":"Chao","year":"2015","journal-title":"Int. J. Control"},{"key":"2016071201591708000_dnw025v1.13","doi-asserted-by":"crossref","unstructured":"Chao D. Y. Yu T. H. (2015c) MLR: a new concept to launch a partial deadlock avoidance policy for k-th order system of Petri nets IECON 2015\u201341th Annual Conference on IEEE Industrial Electronics Society, 9\u201312, Nov. 2015, Yokohama, IEEE, (pp. 003148\u2013003152).","DOI":"10.1109\/IECON.2015.7392584"},{"key":"2016071201591708000_dnw025v1.14","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"2016071201591708000_dnw025v1.15","doi-asserted-by":"publisher","DOI":"10.1109\/21.310530"},{"key":"2016071201591708000_dnw025v1.16","first-page":"635","article-title":"A class of Petri Nets that a necessary and sufficient condition for reachability is obtainable","volume":"24","author":"Hiraishi","year":"1988","journal-title":"Trans. Soc. Inst. Control Eng."},{"key":"2016071201591708000_dnw025v1.17","first-page":"324","article-title":"Control of event-driven systems\u2013reachability and control of conflict-free Petri nets","volume":"21","author":"Ichikawa","year":"1985","journal-title":"Trans. Soc. Inst. Control Eng."},{"key":"2016071201591708000_dnw025v1.18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.812788"},{"key":"2016071201591708000_dnw025v1.19","doi-asserted-by":"crossref","first-page":"2666","DOI":"10.1109\/ISCAS.1990.112557","article-title":"Reachability of LSFC nets","volume":"4","author":"Lee","year":"1990","journal-title":"IEEE Int. Symp. Circuits Syst."},{"key":"2016071201591708000_dnw025v1.20","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2005.855694"},{"key":"2016071201591708000_dnw025v1.21","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2011.0491"},{"key":"2016071201591708000_dnw025v1.22","doi-asserted-by":"crossref","unstructured":"Miyamoto T. Horiguchi K. (2011) Modular reachability analysis in fundamental class of multi-agent nets. IECON 2011\u201437th Annual Conference on IEEE Industrial Electronics Society, Melbourne, Australia, 7\u201310, November 2011, IEEE, pp. 3782\u20133787.","DOI":"10.1109\/IECON.2011.6119925"},{"key":"2016071201591708000_dnw025v1.23","doi-asserted-by":"crossref","unstructured":"Mizuno N. , Ohta A. Tsuji K. (2007) Reachability problem of marked graphs with batch processing arcs. IECON 2007. 33rd Annual Conference of IEEE Industrial Electronics, Taipei, Taiwan, 5\u20138, November 2007, IEEE, pp. 70\u201375.","DOI":"10.1109\/IECON.2007.4459954"},{"key":"2016071201591708000_dnw025v1.24","doi-asserted-by":"crossref","first-page":"1691","DOI":"10.1093\/comjnl\/bxp081","article-title":"Sequence of control in S 3 PMR","volume":"53","author":"Shih","year":"2010","journal-title":"Comp. J."},{"key":"2016071201591708000_dnw025v1.25","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500431321"},{"key":"2016071201591708000_dnw025v1.26","unstructured":"Zimmermann A. (2015) TimeNeT, Technische Universitat Ilmenau, System and Software Engineering Ilmenau, Germany. http:\/\/www.tu-ilmenau.de\/TimeNeT (accessed 22 December 2015)."}],"container-title":["IMA Journal of Mathematical Control and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/imamci\/article-pdf\/doi\/10.1093\/imamci\/dnw025\/8381106\/dnw025.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T21:31:05Z","timestamp":1568151065000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/imamci\/article-lookup\/doi\/10.1093\/imamci\/dnw025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,11]]},"references-count":26,"alternative-id":["10.1093\/imamci\/dnw025"],"URL":"https:\/\/doi.org\/10.1093\/imamci\/dnw025","relation":{},"ISSN":["0265-0754","1471-6887"],"issn-type":[{"value":"0265-0754","type":"print"},{"value":"1471-6887","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7,11]]}}}