A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata

IEEE Transactions on Automatic Control ◽

10.1109/tac.2014.2332238 ◽

2015 ◽

Vol 60 (1) ◽

pp. 59-71 ◽

Author(s):

Felipe Gomes Cabral ◽

Marcos Vicente Moreira ◽

Oumar Diene ◽

Joao Carlos Basilio

Keyword(s):

Petri Net ◽

Discrete Event Systems ◽

Discrete Event ◽

Finite State Automata ◽

Event Systems ◽

Download Full-text

Modelling Large-Scale Discrete-Event Systems Using Modules, Aliases, and Extended Finite-State Automata

IFAC Proceedings Volumes ◽

10.3182/20110828-6-it-1002.00593 ◽

2011 ◽

Vol 44 (1) ◽

pp. 7000-7005 ◽

Author(s):

Robi Malik ◽

Martin Fabian ◽

Knut Åkesson

Keyword(s):

Large Scale ◽

Discrete Event Systems ◽

Discrete Event ◽

Finite State Automata ◽

Event Systems ◽

Download Full-text

Fault Diagnosis in Finite-State Automata and Timed Discrete-Event Systems

Topics in Control and its Applications ◽

10.1007/978-1-4471-0543-5_5 ◽

1999 ◽

pp. 81-105 ◽

Author(s):

Shahin Hashtrudi Zad ◽

Raymond H. Kwong ◽

W. Murray Wonham

Keyword(s):

Fault Diagnosis ◽

Discrete Event Systems ◽

Discrete Event ◽

Finite State Automata ◽

Event Systems ◽

Download Full-text

New predictability verification tests for discrete-event systems modeled by finite state automata

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2021.04.023 ◽

2020 ◽

Vol 53 (4) ◽

pp. 243-249

Author(s):

Raphael J. Barcelos ◽

João C. Basilio

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Finite State Automata ◽

Event Systems ◽

Download Full-text

Petri-Net-Based Fairness Concepts for Discrete Event Systems

Realization and Modelling in System Theory ◽

10.1007/978-1-4612-3462-3_61 ◽

1990 ◽

pp. 549-557 ◽

Author(s):

Tadao Murata ◽

Manuel Silva

Keyword(s):

Petri Net ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

A Simple Petri Net controller in Discrete Event systems

IFAC Proceedings Volumes ◽

10.3182/20120523-3-ro-2023.00100 ◽

2012 ◽

Vol 45 (6) ◽

pp. 188-193 ◽

Author(s):

M. Zareiee ◽

A. Dideban ◽

A.A. Orouji ◽

H. Alla

Keyword(s):

Petri Net ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

A Petri-net Approach to the Control of Discrete-event Systems

NATO ASI Series - Advanced Computing Concepts and Techniques in Control Engineering ◽

10.1007/978-3-642-83548-3_7 ◽

1988 ◽

pp. 191-214 ◽

Author(s):

M. J. Denham

Keyword(s):

Petri Net ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Petri net based fault diagnosis of discrete event systems

SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483) ◽

10.1109/icsmc.2003.1245731 ◽

2004 ◽

Author(s):

M. Alcaraz-Mejia ◽

E. Lopez-Mellado ◽

A. Ramirez-Trevino ◽

I. Rivera-Rangel

Keyword(s):

Fault Diagnosis ◽

Petri Net ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text

Analysis of discrete event systems by simulation of timed Petri net models

Mathematics and Computers in Simulation ◽

10.1016/s0378-4754(02)00137-4 ◽

2002 ◽

Vol 61 (1) ◽

pp. 53-59 ◽

Author(s):

Ernesto López-Mellado

Keyword(s):

Petri Net ◽

Discrete Event Systems ◽

Discrete Event ◽

Timed Petri Net ◽

Download Full-text

ON THE EXISTENCE OF PETRI NET CONTROLLER FOR DISCRETE EVENT SYSTEMS UNDER PARTIAL OBSERVATION

IFAC Proceedings Volumes ◽

10.3182/20050703-6-cz-1902.00348 ◽

2005 ◽

Vol 38 (1) ◽

pp. 385-390 ◽

Author(s):

Zied Achour ◽

Nidhal Rezg ◽

Xiaolan Xie

Keyword(s):

Petri Net ◽

Discrete Event Systems ◽

Discrete Event ◽

Partial Observation ◽

Download Full-text

Diagnosability for discrete event systems based on Petri net language

ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004. ◽

10.1109/icarcv.2004.1469490 ◽

2005 ◽

Author(s):

Fei Xue ◽

Da-Zhong Zheng

Keyword(s):

Petri Net ◽

Discrete Event Systems ◽

Discrete Event ◽

Download Full-text