Petri net control of systems under discrete-event supervision

European Control Conference, ECC 2003

Volumn , Issue , 2003, Pages 606-611

  Music G ^a   Matko, D ^a  

^a UNIVERSITY OF LJUBLJANA   (Slovenia)

Author keywords

Automata; Petri nets; Programmable logic controllers; Reachability analysis; Supervisory control

Indexed keywords

AUTOMATA THEORY; COMPUTER CIRCUITS; CONTROL THEORY; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS;

AUTOMATA; DISCRETE CONTROL; INPUT AND OUTPUTS; PROCESS MODELING; REACHABILITY ANALYSIS; SPECIFICATION AND DESIGNS; SUPERVISORY CONTROL; SUPERVISORY CONTROL THEORY;

CONTROLLERS;

EID: 84949110679     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/ecc.2003.7085022     Document Type: Conference Paper

References (11)

1. C. G. Cassandras, S. Lafortune. Introduction to Discrete Event Systems, Kluwer Academic Publishers, (1999).
2. V. Chandra, S. R. Mohanty and R. Kumar. "Automated control synthesis for an assembly line using discrete event system control theory", Proceedings of the American Control Conference, pp. 4956-4961, (2001).
3. R. David and H. Alla. "Petri Nets for Modeling of Dynamic Systems - A Survey", Automatica, 30(2), pp. 175-202, (1994).
4. R. David. "Grafcet: A Powerful Tool for Specification of Logic Controllers", IEEE Trans. on Control Systems Technology, 3(3), pp. 253-268, (1995).
5. G. Frey and L. Litz. "Formal Methods in PLC-Programming", Proc. of the SMC'2000, (2000).
6. L. E. Holloway, B. H. Krogh, A. Giua. "A Survey of Petri Net Methods for Controlled Discrete Event Systems", Discrete Event Dynamics Systems: Theory and Applications, 7, pp. 151-190, (1997).
7. IEC. "International Electrotechnical Commission: Programmable Controllers - Part 3: Programming Languages", publication 61131.3, (1992).
8. T. Murata. "Petri Nets: Properties, Analysis and Applications", Proc. IEEE, 77(4), pp. 541-580, (1989).
9. G. Mušič, D. Matko, B. Zupančič. "Model based programmable control logic design", Preprints of the 15th Triennial IFAC World Congress, (2002).
10. M. Zhou, E. Twiss. "Design of Industrial Automated Systems Via Relay Ladder Logic Programming and Petri Nets", IEEE Trans. on Systems, Man, and Cybernetics - Part C, 28(1), pp. 137-150, (1998).
11. W. M. Wonham. Notes on Control of Discrete Event Systems, University of Toronto, (1999).