Petri nets for the control of discrete event systems

被引：0
作者：
Alessandro Giua
Carla Seatzu
机构：
[1] University of Cagliari,DIEE
[2] Aix-Marseille University,LSIS
来源：
Software & Systems Modeling | 2015年 / 14卷
关键词：
Petri nets; Discrete event systems; Supervisory control ; Monitor places; State estimation;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The interest in Petri nets has grown within the automatic control community in parallel with the development of the theory of discrete event systems. In this article, our goal is to give a flavor of the features that make Petri nets a good model for discrete event systems and to point out the main areas where Petri nets have offered the most significant contributions.
引用
收藏
页码：693 / 701
页数：8
相关论文
共 65 条
[1]  
Badouel E(1998)Theory of regions Lect. Notes Comput. Sci. 1491 529-586
[2]  
Darondeau P(2009)An efficient approach for online diagnosis of discrete event systems IEEE Trans. Autom. Control 54 748-759
[3]  
Basile F(2003)Diagnosis of asynchronous discrete event systems: a net unfolding approach IEEE Trans. Autom. Control 48 714-727
[4]  
Chiacchio P(2010)Fault detection for discrete event systems using Petri nets with unobservable transitions Automatica 46 1531-1539
[5]  
De Tommasi G(2007)Identification of Petri nets from knowledge of their languages Discret. Event Dyn. Syst. Theory Appl. 17 447-474
[6]  
Benveniste A(2011)Discrete event diagnosis using labeled Petri nets: an application to manufacturing systems Control Eng. Pract. 19 989-1001
[7]  
Fabre E(1997)Deadlock analysis of Petri nets using siphons and mathematical programming IEEE Trans Robot. Autom. 13 793-804
[8]  
Haar S(2013)Designing optimal deadlock avoidance policies for sequential resource allocation systems through classification theory: existence results and customized algorithms IEEE Trans. Autom. Control 58 1-16
[9]  
Jard C(2009)On-line fault detection of discrete event systems by Petri nets and integer linear programming Automatica 45 2665-2672
[10]  
Cabasino MP(1995)A Petri net based deadlock prevention policy for flexible manufacturing systems IEEE Trans Robot. Autom. 11 173-184
1234567