Application of net reduction to feedback controller design of petri nets

Ruan Jian Xue Bao/Journal of Software

Volumn 14, Issue 6, 2003, Pages 1037-1042

  Wang, Shou Guang ^a   Yan, Gang Feng ^a   Jiang, Jing Ping ^a  

^a ZHEJIANG UNIVERSITY   (China)

Author keywords

DES (discrete event system); Net reduction; Petri net; Supervisory control

Indexed keywords

CONSTRAINT THEORY; CONTROL EQUIPMENT; DATABASE SYSTEMS; FEEDBACK CONTROL; LARGE SCALE SYSTEMS; MATRIX ALGEBRA; MONITORING; OPTIMIZATION;

AUTOMATIC GUIDED VEHICLE; DISCRETE EVENT SYSTEMS; LINEAR INEQUALITIES; MARKING SUM; NET REDUCTION; SUPERVISORY CONTROL;

PETRI NETS;

EID: 0141456491     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Holloway LE, Krogh BH. Synthesis of feedback logic for a class of controlled Petri nets. IEEE T-AC, 1990, 35(5): 514-523.
2. Li Y, Wonham WM. Control of vector discrete-event systems I - The base model. IEEE T-AC, 1993, 38(8): 1214-1227.
3. Li Y, Wonham WM. Control of vector discrete-event systems II - The base model. IEEE T-AC, 1994, 39(3): 512-531.
4. Yamalidou K, Moody JO, Lemmon MD, Antsaklis PI. Feedback control of Petri nets based on place invariants. Automatica, 1996, 32(1): 15-18.
5. Juan EYT, Tsai JJP, Murata T, Zhou Y. Reduction methods for real-time systems using delay time Petri nets. IEEE Transactions on Software Engineering, 2001, 27(5): 422-448.
6. Zhou M. Reduction of timed marked graphs and its applications to manufacturing systems. In: Proceedings of the 1994 IEEE International Conference on Robotics and Automation. 1994. 801-806. .
7. LEE JK. Reduction rules of Petri nets for verification of the communication protocol. In: Proceedings of the IEEE Singapore International Conference on Information Engineering. 1995. 294-298. http://intl.ieeexplore.ieee.org/Xplore/DynWel.jsp
8. Mugarza JC, Camus H, Gentina JC, Teruel E, Silva M. Reducing the computational complexity of scheduling problems in Petri nets by means of transformation rules. In: Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics. 1998. 19-25. http://inti.ieeexplore.ieee.org/Xplore/DynWel.jsp.
9. Yuan CY. Petri Net Theory. Beijing: Publishing House of Electronics Industry, 1998 (in Chinese).
10. Krogh BH, Holloway LE. Synthesis of feedback logic for discrete manufacturing systems. Automatica, 1991, 27(4): 641-651.