{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T00:09:17Z","timestamp":1725926957830},"reference-count":45,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Fundamentals"],"published-print":{"date-parts":[[2022,5,1]]},"DOI":"10.1587\/transfun.2021map0003","type":"journal-article","created":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T22:20:14Z","timestamp":1634077214000},"page":"808-815","source":"Crossref","is-referenced-by-count":2,"title":["Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion"],"prefix":"10.1587","volume":"E105.A","author":[{"given":"Kohei","family":"FUJITA","sequence":"first","affiliation":[{"name":"Advanced Technology R&D Center, Mitsubishi Electric Corporation"},{"name":"Graduate School of Engineering Science, Osaka University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshimitsu","family":"USHIO","sequence":"additional","affiliation":[{"name":"Graduate School of Engineering Science, Osaka University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","unstructured":"[1] J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] T. Murata, \u201cPetri nets: Properties, analysis and applications,\u201d Proc. IEEE, vol.77, no.4, pp.541-580, 1989. 10.1109\/5.24143","DOI":"10.1109\/5.24143"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] L.E. Holloway, B.H. Krogh, and A. Giua, \u201cA survey of Petri net methods for controlled discrete event systems,\u201d Discrete Event Dynamic Systems, vol.7, no.2, pp.151-190, 1997. 10.1023\/a:1008271916548","DOI":"10.1023\/A:1008271916548"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] C. Seatzu, M. Silva, and J.H. van Schuppen, ed., Control of Discrete-Event Systems Automata and Petri Net Perspective, Lecture Notes in Control and Information Sciences, vol.433, 2013. 10.1007\/978-1-4471-4276-8","DOI":"10.1007\/978-1-4471-4276-8"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] T. Ushio, \u201cMaximally permissive feedback and modular control synthesis in Petri nets with external input places,\u201d IEEE Trans. Autom. Control, vol.35, no.7, pp.844-848, July, 1990. 10.1109\/9.57027","DOI":"10.1109\/9.57027"},{"key":"6","unstructured":"[6] Y. Nagao, H. Ohta, H. Urabe, and S. Kumagai, \u201cPetri net based programming system for FMS,\u201d IEICE Trans. Fundamentals, vol.E75-A, no.10, pp.1326-1334, Oct. 1992."},{"key":"7","unstructured":"[7] Y. Nagao, H. Urabe, S. Nakano, and S. Kumagai, \u201cApplication of Petri nets to sequence control,\u201d IEICE Trans. Fundamentals, vol.E76-A, no.10, pp.1598-1606, Oct. 1993."},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] T. Murata, N. Komoda, and K. Matsumoto, \u201cA Petri net-based controller for flexible and maintainable sequence control and its applications in factory automation,\u201d IEEE Trans. Ind. Electron., vol.IE-33, no.1, pp.1-8, Feb. 1986. 10.1109\/tie.1986.351700","DOI":"10.1109\/TIE.1986.351700"},{"key":"9","unstructured":"[9] T. Ushio, K. Kobayashi, M. Adachi, H. Takahashi, and A. Nakatani, \u201cApplications of discrete event and hybrid systems in humanoid robots,\u201d IEICE Trans. Fundamentals, vol.E87-A, no.11, pp.2834-2843, Nov. 2004."},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] A.V. Porco, R. Ushijima, and M. Nakamura, \u201cAutomatic generation of mixed integer programming for scheduling problems based on colored timed Petri nets,\u201d IEICE Trans. Fundamentals, vol.E101-A, no.2, pp.367-372, Feb. 2018. 10.1587\/transfun.e101.a.367","DOI":"10.1587\/transfun.E101.A.367"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] B. Lacerda, and P.U. Lima, \u201cPetri net based multi-robot task coordination from temporal logic specifications,\u201d Robot. Auton. Syst., vol.122, Article 103289, 2019. 10.1016\/j.robot.2019.103289","DOI":"10.1016\/j.robot.2019.103289"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] K. Kobayashi and K. Hiraishi, \u201cOptimal control of Boolean biological networks modeled by Petri nets,\u201d IEICE Trans. Fundamentals, vol.E96-A, no.2, pp.532-539, Feb. 2013. 10.1587\/transfun.e96.a.532","DOI":"10.1587\/transfun.E96.A.532"},{"key":"13","unstructured":"[13] C. Ramchandani, \u201cAnalysis of asynchronous concurrent systems by timed Petri nets,\u201d Diss. Massachusetts Institute of Technology, 1973."},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] J. Carlier, P. Chretienne, and C. Girault, \u201cModelling scheduling problems with timed Petri nets,\u201d Advances in Petri nets 1984, pp.62-82, Springer, 1985. 10.1007\/3-540-15204-0_5","DOI":"10.1007\/3-540-15204-0_5"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] W.M. Zuberek, \u201cTimed Petri nets definitions, properties, and applications,\u201d Microelectronics Reliability, vol.31, no.4, pp.627-644, 1991. 10.1016\/0026-2714(91)90007-t","DOI":"10.1016\/0026-2714(91)90007-T"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] A. Aybar and A. \u0130ftar, \u201cSupervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching,\u201d Nonlinear Analysis: Hybrid Systems, vol.6, no.1, pp.712-729, Feb. 2012. 10.1016\/j.nahs.2011.07.002","DOI":"10.1016\/j.nahs.2011.07.002"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] A. Aybar and A. \u0130ftar, \u201cSupervisory control of discrete-event systems modeled by timed-arc Petri nets,\u201d Proc. European Control Conference (ECC), pp.656-661, July 2020. 10.23919\/ecc51009.2020.9143782","DOI":"10.23919\/ECC51009.2020.9143782"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] A. \u0130ftar, \u201cSupervisory control of manufacturing systems modeled by timed Petri nets,\u201d IFAC-PapersOnLine, vol.49, no.31, pp.120-124, 2016. 10.1016\/j.ifacol.2016.12.172","DOI":"10.1016\/j.ifacol.2016.12.172"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] A.H. Jones, M. Uzam, and N. Ajlouni, \u201cDesign of discrete event control systems for programmable logic controllers using T-timed Petri nets,\u201d Proc. Joint Conference on Control Applications Intelligent Control and Computer Aided Control System Design, pp.212-217, Sep. 1996. 10.1109\/cacsd.1996.555283","DOI":"10.1109\/CACSD.1996.555283"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] Z. He, Z. Ma, and W. Tang, \u201cPerformance safety enforcement in strongly connected timed event graphs,\u201d Automatica, vol.128, 109605, 2021. 10.1016\/j.automatica.2021.109605","DOI":"10.1016\/j.automatica.2021.109605"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] Z. He and Z. Ma, \u201cPerformance safety enforcement in stochastic event graphs against boost and slow attacks,\u201d Nonlinear Analysis: Hybrid Systems, vol.41, 101057, 2021. 10.1016\/j.nahs.2021.101057","DOI":"10.1016\/j.nahs.2021.101057"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] F. Basile, M.P. Cabasino, and C. Seatzu, \u201cDiagnosability analysis of labeled time Petri net systems,\u201d IEEE Trans. Autom. Control, vol.62, no.3, pp.1384-1396, 2016. 10.1109\/tac.2016.2588736","DOI":"10.1109\/TAC.2016.2588736"},{"key":"23","unstructured":"[23] C. Baier and J.-P. Katoen, Principles of Model Checking, MIT Press, 2008."},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] C. Belta, B. Yordanov, and E. Aydin Gol, Formal Methods for Discrete-Time Dynamical Systems, Springer International Publishing, 2017.","DOI":"10.1007\/978-3-319-50763-7"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] O. Maler and D. Nickovic, \u201cMonitoring temporal properties of continuous signals,\u201d Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, pp.152-166, 2004. 10.1007\/978-3-540-30206-3_12","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] R. Koymansm, \u201cSpecifying real-time properties with metric temporal logic,\u201d Real-Time Systems, vol.2, no.4, pp.255-299, 1990. 10.1007\/bf01995674","DOI":"10.1007\/BF01995674"},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] V. Ramanm, A. Donz\u00e9, M. Maasoumy, R.M. Murray, A. Sangiovanni-Vincentelli, and S.A. Seshia, \u201cModel predictive control with signal temporal logic specifications,\u201d Proc. 53rd IEEE Conf. Decision and Control, pp.81-87, 2014. 10.1109\/cdc.2014.7039363","DOI":"10.1109\/CDC.2014.7039363"},{"key":"28","doi-asserted-by":"publisher","unstructured":"[28] M. Barbeau, F. Kabanza, and R. St.-Denis, \u201cA method for the synthesis of controllers to handle safety, liveness, and real-time constraints,\u201d IEEE Trans. Autom. Control, vol.43, no.11, pp.1543-1559, 1998. 10.1109\/9.728871","DOI":"10.1109\/9.728871"},{"key":"29","doi-asserted-by":"publisher","unstructured":"[29] S. Saha and A. Julius, \u201cTask and motion planning for manipulator arms with metric temporal logic specifications,\u201d IEEE Robot. Autom Lett., vol.3, no.1, pp.379-386, 2017. 10.1109\/lra.2017.2755078","DOI":"10.1109\/LRA.2017.2755078"},{"key":"30","doi-asserted-by":"publisher","unstructured":"[30] Z. Xu and A. Julius, \u201cRobust temporal logic inference for provably correct fault detection and privacy preservation of switched systems,\u201d IEEE Syst. J., vol.13, no.3, pp.3010-3021, 2019. 10.1109\/jsyst.2019.2906160","DOI":"10.1109\/JSYST.2019.2906160"},{"key":"31","doi-asserted-by":"publisher","unstructured":"[31] U. Hustadt, A. Ozaki, and C. Dixon, \u201cTheorem proving for pointwise metric temporal logic over the naturals via translations,\u201d J. Autom. Reasoning, vol.64, no.8, pp.1553-1610, 2020. 10.1007\/s10817-020-09541-4","DOI":"10.1007\/s10817-020-09541-4"},{"key":"32","doi-asserted-by":"crossref","unstructured":"[32] A. Giua, F. Dicesare, and M. Silva, \u201cGeneralized mutual exclusion constraints on nets with uncontrollable transitions,\u201d Proc. IEEE International Conf. Syst., Man, and Cybern., pp.974-979, 1992. 10.1109\/icsmc.1992.271666","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"33","doi-asserted-by":"publisher","unstructured":"[33] K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, \u201cFeedback control of Petri nets based on place invariants,\u201d Automatica, vol.32, no.1, pp.15-28, 1996. 10.1016\/0005-1098(95)00103-4","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"34","doi-asserted-by":"publisher","unstructured":"[34] J.O. Moody and P.J. Antsaklis, \u201cPetri net supervisors for DES with uncontrollable and unobservable transitions,\u201d IEEE Trans. Autom. Control, vol.45, no.3, pp.462-476, March 2000. 10.1109\/9.847725","DOI":"10.1109\/9.847725"},{"key":"35","doi-asserted-by":"publisher","unstructured":"[35] J. Luo and M. Zhou, \u201cPetri-net controller synthesis for partially controllable and observable discrete event systems,\u201d IEEE Trans. Autom. Control, vol.62, no.3, pp.1301-1313, 2017. 10.1109\/tac.2016.2586604","DOI":"10.1109\/TAC.2016.2586604"},{"key":"36","unstructured":"[36] A. Giua, F. Discesare, and M. Silva, \u201cPetri net supervisors for generalized mutual exclusion constraints,\u201d Proc. 12th IFAC World Congress, pp.267-270, 1993."},{"key":"37","doi-asserted-by":"publisher","unstructured":"[37] L. Li, F. Basile, and Z. Li, \u201cAn approach to improve permissiveness of supervisors for GMECs in time Petri net systems,\u201d IEEE Trans. Autom. Control, vol.65, no.1, pp.237-251, Jan. 2020. 10.1109\/TAC.2019.2914895","DOI":"10.1109\/TAC.2019.2914895"},{"key":"38","doi-asserted-by":"publisher","unstructured":"[38] F. Basile, R. Cordone, and L. Piroddi, \u201cA branch and bound approach for the design of decentralized supervisors in Petri net models,\u201d Automatica, vol.52, pp.322-333, 2015. 10.1016\/j.automatica.2014.12.004","DOI":"10.1016\/j.automatica.2014.12.004"},{"key":"39","doi-asserted-by":"publisher","unstructured":"[39] Z. Ma, Z. Li, and A. Giua, \u201cComputation of admissible marking sets in weighted synchronization-free Petri nets by dynamic programming,\u201d IEEE Trans. Autom. Control, vol.65, no.6, pp.2662-2669, 2020. 10.1109\/tac.2019.2942570","DOI":"10.1109\/TAC.2019.2942570"},{"key":"40","doi-asserted-by":"publisher","unstructured":"[40] Z. Ma, Z. Li, and A. Giua, \u201cCharacterization of admissible marking sets in Petri nets with conflicts and synchronizations,\u201d IEEE Trans. Autom. Control, vol.62, no.3, pp.1329-1341, 2017. 10.1109\/tac.2016.2585647","DOI":"10.1109\/TAC.2016.2585647"},{"key":"41","doi-asserted-by":"crossref","unstructured":"[41] Z. Ma, Z. Li, and A. Giua, \u201cDesign of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints,\u201d IEEE Trans. Autom. Control, vol.60, no.7, pp.1774-1785, 2015.","DOI":"10.1109\/TAC.2015.2389313"},{"key":"42","doi-asserted-by":"publisher","unstructured":"[42] J. Ouaknine and J. Worrell, \u201cOn the decidability and complexity of metric temporal logic over finite words,\u201d Logic Methods in Computer Science, vol.3, no.1, pp.1-27, 2007. 10.2168\/lmcs-3(1:8)2007","DOI":"10.2168\/LMCS-3(1:8)2007"},{"key":"43","doi-asserted-by":"publisher","unstructured":"[43] L. Moura and N. Bj\u00f8rner, \u201cZ3: An efficient SMT solver,\u201d Lecture Notes in Computer Science, vol.4963, pp.337-340, Springer, 2008. 10.1007\/978-3-540-78800-3_24","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"44","doi-asserted-by":"publisher","unstructured":"[44] Z. Ma, Z. Li, and A. Giua, \u201cPetri net controllers for generalized mutual exclusion constraints with floor operators,\u201d Automatica, vol.74, pp.238-246, 2016. 10.1016\/j.automatica.2016.07.042","DOI":"10.1016\/j.automatica.2016.07.042"},{"key":"45","doi-asserted-by":"publisher","unstructured":"[45] Y.F. Chen, Z. Li, K. Barkaoui, and A. Giua, \u201cOn the enforcement of a class of nonlinear constraints on Petri nets,\u201d Automatica, vol.55, pp.116-124, 2015. 10.1016\/j.automatica.2015.02.014","DOI":"10.1016\/j.automatica.2015.02.014"}],"container-title":["IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transfun\/E105.A\/5\/E105.A_2021MAP0003\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T21:23:28Z","timestamp":1725917008000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transfun\/E105.A\/5\/E105.A_2021MAP0003\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,1]]},"references-count":45,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022]]}},"URL":"https:\/\/doi.org\/10.1587\/transfun.2021map0003","relation":{},"ISSN":["0916-8508","1745-1337"],"issn-type":[{"type":"print","value":"0916-8508"},{"type":"electronic","value":"1745-1337"}],"subject":[],"published":{"date-parts":[[2022,5,1]]},"article-number":"2021MAP0003"}}