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 条
[11]  
Giua A(2007)Distributed diagnosis of place-bordered Petri nets IEEE Trans. Autom. Sci. Eng. 4 206-219
[12]  
Seatzu C(2002)Observability of place/transition nets IEEE Trans. Autom. Control 47 1424-1437
[13]  
Cabasino MP(1992)Construction of a class of safe Petri nets by presenting firing sequences Lect. Notes Comput. Sci. 616 244-262
[14]  
Giua A(1997)A survey of Petri net methods for controlled discrete event systems Discret. Event Dyn. Syst. 7 151-190
[15]  
Seatzu C(2002)Synthesis of deadlock prevention supervisors using Petri nets IEEE Trans. Robot. Autom. 18 59-68
[16]  
Cabasino MP(1993)Predicates and predicate transformers for supervisory control of discrete event dynamical systems IEEE Trans. Autom. Control 38 232-247
[17]  
Giua A(2010)Modeling and analysis of fault-tolerant systems for machining operations based on Petri nets Control Eng. Pract. 14 397-408
[18]  
Pocci M(1996)Feedback control of Petri nets based on place invariants Automatica 32 15-28
[19]  
Seatzu C(1989)Petri nets: properties, analysis and applications Proc. IEEE 77 541-580
[20]  
Chu F(1990)Observability of discrete event dynamic systems IEEE Trans. Autom. Control 35 797-806
1234567