Identification of unbounded Petri nets from their coverability graph. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (CDC, 2006)

State Estimation of Petri Nets by Transformation. - Maria Paola Cabasino; Alessandro Giua; Cristian Mahulea; Laura Recalde; Carla Seatzu; Manuel Silva Suárez (CASE, 2007)

A state estimation problem for timed continuous Petri nets. - Cristian Mahulea; Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (CDC, 2007)

Identification of Petri Nets from Knowledge of Their Language. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (Discret. Event Dyn. Syst., 2007)

Linear programming techniques for the identification of place/transition nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (CDC, 2008)

Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications. - Yu Ru; Maria Paola Cabasino; Alessandro Giua; Christoforos N. Hadjicostis (CDC, 2008)

Fault diagnoser design for untimed continuous Petri nets. - Carla Seatzu; Cristian Mahulea; Maria Paola Cabasino; Manuel Silva Suárez (CCA/ISIC, 2009)

Observer design for untimed continuous Petri nets. - Cristian Mahulea; Carla Seatzu; Maria Paola Cabasino; Laura Recalde; Manuel Silva 001 (ACC, 2009)

Diagnosability analysis of unbounded Petri nets. - Maria Paola Cabasino; Alessandro Giua; Stéphane Lafortune; Carla Seatzu (CDC, 2009)

Diagnosability of bounded Petri nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (CDC, 2009)

New results for fault detection of untimed continuous Petri nets. - Carla Seatzu; Maria Paola Cabasino; Cristian Mahulea; Manuel Silva Suárez (CDC, 2009)

Discrete Event Diagnosis using Petri Nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (ICINCO-ICSO, 2009)

Decentralized diagnosis of Petri nets. - Maria Paola Cabasino; Alessandro Giua; Andrea Paoli; Carla Seatzu (ACC, 2010)

Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (CASE, 2010)

Fault diagnosis of manufacturing systems using continuous Petri nets. - Maria Paola Cabasino; Carla Seatzu; Cristian Mahulea; Manuel Silva Suárez (SMC, 2010)

A new protocol for the decentralized diagnosis of labeled Petri nets. - Maria Paola Cabasino; Alessandro Giua; Andrea Paoli; Carla Seatzu (WODES, 2010)

Fault detection for discrete event systems using Petri nets with unobservable transitions. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (Autom., 2010)

A software platform for the integration of discrete event systems tools. - Maria Paola Cabasino; Luca Contini; Alessandro Giua; Carla Seatzu; Antonio Solinas (CASE, 2011)

Fault diagnosis of an ABS system using Petri nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu; Antonio Solinas; Katiuscia Zedda (CASE, 2011)

On decentralized observability of discrete event systems. - Maria Paola Cabasino; Alessandro Giua; Cristian Mahulea; Carla Seatzu (CDC/ECC, 2011)

A comparison among tools for the diagnosability of discrete event systems. - Maria Paola Cabasino; Alessandro Giua; Laura Marcias; Carla Seatzu (CASE, 2012)

Marking estimation of fuzzy Petri nets. - Maria Paola Cabasino; Mariagrazia Dotoli; Carla Seatzu (ETFA, 2012)

Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets. - Maria Paola Cabasino; Stéphane Lafortune; Carla Seatzu (WODES, 2012)

A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets. - Maria Paola Cabasino; Alessandro Giua; Stéphane Lafortune; Carla Seatzu (IEEE Trans. Autom. Control., 2012)

Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets. - Cristian Mahulea; Carla Seatzu; Maria Paola Cabasino; Manuel Silva Suárez (IEEE Trans. Syst. Man Cybern. Part A, 2012)

Petri Nets with Time. - Béatrice Bérard; Maria Paola Cabasino; Angela Di Febbraro; Alessandro Giua; Carla Seatzu (Control of Discrete-Event Systems, 2013)

Introduction to Petri Nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (Control of Discrete-Event Systems, 2013)

Structural Analysis of Petri Nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (Control of Discrete-Event Systems, 2013)

Diagnosis of Petri Nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (Control of Discrete-Event Systems, 2013)

Marking estimation of Time Petri nets with unobservable transitions. - Francesco Basile; Maria Paola Cabasino; Carla Seatzu (ETFA, 2013)

A survey on efficient diagnosability tests for automata and bounded Petri nets. - Mona Noori Hosseini; Bengt Lennartson; Maria Paola Cabasino; Carla Seatzu (ETFA, 2013)

Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking. - Maria Paola Cabasino; Carla Seatzu; Christoforos N. Hadjicostis (SMC, 2013)

Optimal sensor selection for ensuring diagnosability in labeled Petri nets. - Maria Paola Cabasino; Stéphane Lafortune; Carla Seatzu (Autom., 2013)

Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets. - Maria Paola Cabasino; Alessandro Giua; Andrea Paoli; Carla Seatzu (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Initial marking estimation in labeled Petri nets in a probabilistic setting. - Maria Paola Cabasino; Christoforos N. Hadjicostis; Carla Seatzu (CDC, 2014)

State feedback control of labeled Petri nets with uncertainty in the initial marking. - Maria Paola Cabasino; Christoforos N. Hadjicostis; Carla Seatzu (ETFA, 2014)

K-Diagnosability of Time Labeled Petri Nets. - Francesco Basile; Maria Paola Cabasino; Carla Seatzu (WODES, 2014)

Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications. - Yu Ru; Maria Paola Cabasino; Alessandro Giua; Christoforos N. Hadjicostis (Discret. Event Dyn. Syst., 2014)

Diagnosability of Discrete-Event Systems Using Labeled Petri Nets. - Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (IEEE Trans Autom. Sci. Eng., 2014)

A Remark on the Decentralized Diagnosis of Labeled Petri Nets. - Maria Paola Cabasino; Alessandro Giua; Andrea Paoli; Carla Seatzu (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Fault model identification and synthesis in Petri nets. - Maria Paola Cabasino; Alessandro Giua; Christoforos N. Hadjicostis; Carla Seatzu (Discret. Event Dyn. Syst., 2015)

State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions. - Francesco Basile; Maria Paola Cabasino; Carla Seatzu (IEEE Trans. Autom. Control., 2015)

Probabilistic Marking Estimation in Labeled Petri Nets. - Maria Paola Cabasino; Christoforos N. Hadjicostis; Carla Seatzu (IEEE Trans. Autom. Control., 2015)

Diagnosability Analysis of Labeled Time Petri Net Systems. - Francesco Basile; Maria Paola Cabasino; Carla Seatzu (IEEE Trans. Autom. Control., 2017)

Marking Observer in Labeled Petri Nets With Application to Supervisory Control. - Maria Paola Cabasino; Christoforos N. Hadjicostis; Carla Seatzu (IEEE Trans. Autom. Control., 2017)