{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T03:05:31Z","timestamp":1775099131761,"version":"3.50.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T00:00:00Z","timestamp":1404172800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1007\/s10270-014-0425-1","type":"journal-article","created":{"date-parts":[[2014,6,30]],"date-time":"2014-06-30T05:15:45Z","timestamp":1404105345000},"page":"693-701","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Petri nets for the control of discrete event systems"],"prefix":"10.1007","volume":"14","author":[{"given":"Alessandro","family":"Giua","sequence":"first","affiliation":[]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,1]]},"reference":[{"key":"425_CR1","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume":"1491","author":"E Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of regions. Lect. Notes Comput. Sci. 1491, 529\u2013586 (1998)","journal-title":"Lect. Notes Comput. Sci."},{"issue":"4","key":"425_CR2","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1109\/TAC.2009.2014932","volume":"54","author":"F Basile","year":"2009","unstructured":"Basile, F., Chiacchio, P., De Tommasi, G.: An efficient approach for online diagnosis of discrete event systems. IEEE Trans. Autom. Control 54(4), 748\u2013759 (2009)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"5","key":"425_CR3","doi-asserted-by":"crossref","first-page":"714","DOI":"10.1109\/TAC.2003.811249","volume":"48","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Fabre, E., Haar, S., Jard, C.: Diagnosis of asynchronous discrete event systems: a net unfolding approach. IEEE Trans. Autom. Control 48(5), 714\u2013727 (2003)","journal-title":"IEEE Trans. Autom. Control"},{"key":"425_CR4","unstructured":"Bourdeaud\u2019huy, T., Yim, P.: Synth\u00e8se de r\u00e8seaux de Petri \u00e0 partir d\u2019exigences. In: Actes de la 5me conf. francophone de Mod \u00e9lisation et Simulation. Nantes, France (2004)"},{"issue":"9","key":"425_CR5","doi-asserted-by":"crossref","first-page":"1531","DOI":"10.1016\/j.automatica.2010.06.013","volume":"46","author":"MP Cabasino","year":"2010","unstructured":"Cabasino, M.P., Giua, A., Seatzu, C.: Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica 46(9), 1531\u20131539 (2010)","journal-title":"Automatica"},{"issue":"4","key":"425_CR6","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10626-007-0025-0","volume":"17","author":"MP Cabasino","year":"2007","unstructured":"Cabasino, M.P., Giua, A., Seatzu, C.: Identification of Petri nets from knowledge of their languages. Discret. Event Dyn. Syst. Theory Appl. 17(4), 447\u2013474 (2007)","journal-title":"Discret. Event Dyn. Syst. Theory Appl."},{"key":"425_CR7","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Giua, A., Seatzu, C.: Structural analysis of Petri nets. In: Control of Discrete-Event Systems. Automata and Petri Net Perspectives. vol. 433 of Lecture Notes in Control and Information Science, pp. 213\u2013234. Springer (2012)","DOI":"10.1007\/978-1-4471-4276-8_11"},{"issue":"9","key":"425_CR8","doi-asserted-by":"crossref","first-page":"989","DOI":"10.1016\/j.conengprac.2010.12.010","volume":"19","author":"MP Cabasino","year":"2011","unstructured":"Cabasino, M.P., Giua, A., Pocci, M., Seatzu, C.: Discrete event diagnosis using labeled Petri nets: an application to manufacturing systems. Control Eng. Pract. 19(9), 989\u20131001 (2011)","journal-title":"Control Eng. Pract."},{"key":"425_CR9","doi-asserted-by":"crossref","unstructured":"Caines, P.E., Greiner, R., Wang, S.: Dynamical logic observers for finite automata. In: Proceedings of the 27th IEEE Conference on Decision and Control. Austin, Texas (1988)","DOI":"10.1109\/CDC.1988.194300"},{"key":"425_CR10","doi-asserted-by":"crossref","unstructured":"Cassandras, C.C., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, Berlin (2008)","DOI":"10.1007\/978-0-387-68612-7"},{"issue":"6","key":"425_CR11","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F Chu","year":"1997","unstructured":"Chu, F., Xie, X.L.: Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans Robot. Autom. 13(6), 793\u2013804 (1997)","journal-title":"IEEE Trans Robot. Autom."},{"key":"425_CR12","doi-asserted-by":"crossref","unstructured":"Colom, J.M., Silva, M.: Improving the linearly based characterization of P\/T nets. vol. 483 of Lecture Notes in Computer Science. Springer, Berlin (1990)","DOI":"10.1007\/3-540-53863-1_23"},{"issue":"11","key":"425_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TAC.2013.2266952","volume":"58","author":"R Cordone","year":"2013","unstructured":"Cordone, R., Nazeem, A., Piroddi, L., Reveliotis, S.: Designing optimal deadlock avoidance policies for sequential resource allocation systems through classification theory: existence results and customized algorithms. IEEE Trans. Autom. Control 58(11), 1\u201316 (2013)","journal-title":"IEEE Trans. Autom. Control"},{"key":"425_CR14","volume-title":"Discrete, Continuos and Hybrid Petri Nets","author":"R David","year":"2005","unstructured":"David, R., Alla, H.: Discrete, Continuos and Hybrid Petri Nets. Springer, Berlin (2005)"},{"issue":"11","key":"425_CR15","doi-asserted-by":"crossref","first-page":"2665","DOI":"10.1016\/j.automatica.2009.07.021","volume":"45","author":"M Dotoli","year":"2009","unstructured":"Dotoli, M., Fanti, M.P., Mangini, A.M., Ukovich, W.: On-line fault detection of discrete event systems by Petri nets and integer linear programming. Automatica 45(11), 2665\u20132672 (2009)","journal-title":"Automatica"},{"issue":"2","key":"425_CR16","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J Ezpeleta","year":"1995","unstructured":"Ezpeleta, J., Colom, J.M., Martinez, J.: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot. Autom. 11(2), 173\u2013184 (1995)","journal-title":"IEEE Trans Robot. Autom."},{"issue":"2","key":"425_CR17","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/TASE.2006.879916","volume":"4","author":"S Genc","year":"2007","unstructured":"Genc, S., Lafortune, S.: Distributed diagnosis of place-bordered Petri nets. IEEE Trans. Autom. Sci. Eng. 4(2), 206\u2013219 (2007)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"425_CR18","doi-asserted-by":"crossref","unstructured":"Giua, A.: Supervisory control of Petri nets with language specifications. In: Control of Discrete-Event Systems. Automata and Petri Net Perspectives. vol. 433 of Lecture Notes in Control and Information Science, pp. 235\u2013256. Springer, Berlin (2012)","DOI":"10.1007\/978-1-4471-4276-8_12"},{"issue":"9","key":"425_CR19","doi-asserted-by":"crossref","first-page":"1424","DOI":"10.1109\/TAC.2002.802769","volume":"47","author":"A Giua","year":"2002","unstructured":"Giua, A., Seatzu, C.: Observability of place\/transition nets. IEEE Trans. Autom. Control 47(9), 1424\u20131437 (2002)","journal-title":"IEEE Trans. Autom. Control"},{"key":"425_CR20","doi-asserted-by":"crossref","unstructured":"Giua, A., DiCesare, F., Silva, M.: Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: Proceedings of 1992 IEEE International Conference on Systems, Man and Cybernetics. Chicago, IL, USA (1992)","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"425_CR21","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-55676-1_14","volume":"616","author":"K Hiraishi","year":"1992","unstructured":"Hiraishi, K.: Construction of a class of safe Petri nets by presenting firing sequences. Lect. Notes Comput. Sci. 616, 244\u2013262 (1992)","journal-title":"Lect. Notes Comput. Sci."},{"issue":"2","key":"425_CR22","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"7","author":"LE Holloway","year":"1997","unstructured":"Holloway, L.E., Krogh, B.H., Giua, A.: A survey of Petri net methods for controlled discrete event systems. Discret. Event Dyn. Syst. 7(2), 151\u2013190 (1997)","journal-title":"Discret. Event Dyn. Syst."},{"key":"425_CR23","unstructured":"Iordache, M., Antsaklis, P.: A survey on the supervision of Petri nets. In: Petri nets 2005. Miami (2005)"},{"issue":"1","key":"425_CR24","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/70.988975","volume":"18","author":"MV Iordache","year":"2002","unstructured":"Iordache, M.V., Moody, J.O., Antsaklis, P.J.: Synthesis of deadlock prevention supervisors using Petri nets. IEEE Trans. Robot. Autom. 18(1), 59\u201368 (2002)","journal-title":"IEEE Trans. Robot. Autom."},{"issue":"2","key":"425_CR25","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1109\/9.250512","volume":"38","author":"R Kumar","year":"1993","unstructured":"Kumar, R., Garg, V., Markus, S.I.: Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans. Autom. Control 38(2), 232\u2013247 (1993)","journal-title":"IEEE Trans. Autom. Control"},{"key":"425_CR26","doi-asserted-by":"crossref","unstructured":"Li, Z.W., Zhou, M.: Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 34(1), 38\u201351 (2004)","DOI":"10.1109\/TSMCA.2003.820576"},{"issue":"4","key":"425_CR27","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/j.conengprac.2005.02.002","volume":"14","author":"PE Miyagi","year":"2010","unstructured":"Miyagi, P.E., Riascos, L.A.M.: Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets. Control Eng. Pract. 14(4), 397\u2013408 (2010)","journal-title":"Control Eng. Pract."},{"key":"425_CR28","doi-asserted-by":"crossref","unstructured":"Moody, J.O., Antsaklis, P.J.: Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer, Berlin (1998)","DOI":"10.1007\/978-1-4615-5711-1"},{"issue":"1","key":"425_CR29","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","volume":"32","author":"JO Moody","year":"1996","unstructured":"Moody, J.O., Yamalidou, K., Lemmon, M.D., Antsaklis, P.J.: Feedback control of Petri nets based on place invariants. Automatica 32(1), 15\u201328 (1996)","journal-title":"Automatica"},{"key":"425_CR30","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77, 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"issue":"7","key":"425_CR31","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1109\/9.57018","volume":"35","author":"CM Ozveren","year":"1990","unstructured":"Ozveren, C.M., Willsky, A.S.: Observability of discrete event dynamic systems. IEEE Trans. Autom. Control 35(7), 797\u2013806 (1990)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"2","key":"425_CR32","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1109\/70.843175","volume":"16","author":"J Park","year":"2000","unstructured":"Park, J., Reveliotis, S.A.: Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans. Robot. Autom. 16(2), 190\u2013195 (2000)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"425_CR33","volume-title":"Petri Net Theory and Modelling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and Modelling of Systems. Prentice Hall, Englelwood Cliffs (1981)"},{"issue":"2","key":"425_CR34","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0005-1098(91)90074-C","volume":"27","author":"J Prock","year":"1991","unstructured":"Prock, J.: A new technique for fault detection using Petri nets. Automatica 27(2), 239\u2013245 (1991)","journal-title":"Automatica"},{"key":"425_CR35","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J.: Observability of discrete-event systems. In: Proceedings 25th IEEE Conference on Decision and Control. Athens, Greece (1986)","DOI":"10.1109\/CDC.1986.267551"},{"issue":"1","key":"425_CR36","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proc. IEEE 77(1), 81\u201398 (1989)","journal-title":"Proc. IEEE"},{"key":"425_CR37","doi-asserted-by":"crossref","unstructured":"Reveliotis, S.A.: Implicit siphon control and its role in the liveness enforcing supervision of sequential resource allocation systems. IEEE Trans. Syst. Man Cybern. Part A 37(3), 319\u2013328 (2007)","DOI":"10.1109\/TSMCA.2007.893461"},{"key":"425_CR38","doi-asserted-by":"crossref","unstructured":"Seatzu, C., Silva, M., van Schuppen, J.H. (eds.): Control of discrete event systems. Automata and Petri net perspectives. In: vol. 433 of Lecture Notes in Control and Information Science. Springer, Berlin (2012)","DOI":"10.1007\/978-1-4471-4276-8"},{"key":"425_CR39","unstructured":"Silva, M., Colom, J.M., Campos, J.: Linear algebraic techniques for the analysis of Petri nets. In: Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II, pp. 35\u201342. Mita Press (1992)"},{"key":"425_CR40","unstructured":"Sreenivas, R.S.: On minimal representations of Petri net languages. In: Proceedings of the IFAC WODES\u201902: 6th Work. on Discrete Event Systems. Zaragoza, Spain (2002)"},{"issue":"6","key":"425_CR41","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1109\/70.63257","volume":"6","author":"N Viswanadham","year":"1990","unstructured":"Viswanadham, N., Narahari, Y., Johnson, T.L.: Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. Robot. Autom. 6(6), 713\u2013723 (1990)","journal-title":"IEEE Trans. Robot. Autom."},{"issue":"12","key":"425_CR42","doi-asserted-by":"crossref","first-page":"2048","DOI":"10.1109\/TAC.2005.860249","volume":"50","author":"Y Wu","year":"2005","unstructured":"Wu, Y., Hadjicostis, C.N.: Algebraic approaches for fault identification in discrete-event systems. IEEE Trans. Robot. Autom. 50(12), 2048\u20132053 (2005)","journal-title":"IEEE Trans. Robot. Autom."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0425-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0425-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0425-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T14:38:01Z","timestamp":1746283081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0425-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,1]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["425"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0425-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,1]]}}}