Modelling, Synthesis, and Simulation of Supervisory Process Control Systems

Mathematical and Computer Modelling of Dynamical Systems

Volumn 6, Issue 2, 2000, Pages 169-189

  Music G ^a   Matko, D ^a   Zupancic B ^a  

^a UNIVERSITY OF LJUBLJANA   (Slovenia)

Author keywords

Batch processing; Discrete event systems; Modelling; Petri nets; Process control; Simulation; Supervisor synthesis

Indexed keywords

EID: 0346007582     PISSN: 13873954     EISSN: None     Source Type: Journal    
DOI: 10.1076/1387-3954(200006)6:2;1-M;FT169     Document Type: Article

References (17)

1. David, R. and Alla, H.: Petri Nets for Modeling of Dynamic Systems - A Survey. Automatica, 30 (1994), pp. 175-202.
2. David, R.: Grafcet: A Powerful Tool for Specification of Logic Controllers. IEEE Trans. on Control Systems Technology, 3 (1995), pp. 253-268.
3. Giua, A. and DiCesare, F.: Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: Proc. 1992 IEEE Int. Conf. on Systems, Man, and Cybernetics (Chicago, Illinois), pp. 974-979.
4. Hopcroft, J.E. and Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, 1979.
5. IEC, International Electrotechnical Commission, Programmable Controllers - Part 3: Programming Languages, publication 1131.3 (1992).
6. Jeng, M.D and DiCesare F.: A Review of Synthesis Techniques for Petri Nets with Applications to Automated Manufacturing Systems. IEEE Trans. on Systems, Man, and Cybernetics, 23 (1993), pp. 301-312.
7. Krogh, B.H. and Holloway, L.E.: Synthesis of feedback logic for discrete manufacturing systems. Automatica, 27 (1991), pp. 641-651.
8. Moody, J.O. and Antsaklis, P.J.: Supervisory Control of Petri Nets with Uncontrollable/ Unobservable Transitions. Tech. Rep. ISIS-96-004, University of Notre Dame, 1996.
9. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc. IEEE, 77 (1989), pp. 541-580.
10. th IFAC Symp. on Large Scale Systems: Theory & Application, Vol. II, Rio Patras, 1998, pp. 989-994.
11. Mušič, G. and Matko, D.: Combined Simulation for Process Control: Extension of a General Purpose Simulation Tool, Computers in Industry, 38 (1999), pp. 79-92.
12. Proth, J.M. and Xie, X.: Petri Nets, A Tool for Design and Management of Manufacturing Systems. Wiley (UK), Chichester, 1996.
13. Ramadge, P.J.G. and Wonham, W.M.: The Control of Discrete Event Systems. Proc. IEEE, 77 (1989), pp. 81-97.
14. Yamalidou, K., Moody, J., Lemmon, M., and Antsaklis, P.: Feedback Control of Petri Nets Based on Place Invariants. Automatica, 32 (1996), pp. 15-28.
15. Zhou, M.C. and DiCesare, F.: Parallel and Sequential Mutual Exclusions for Petri Net Modeling of Manufacturing Systems with Shared Resources. IEEE Trans. on Robotics and Automation, 7 (1991), pp. 515-527.
16. Zhou, M.C., DiCesare, F., and Desrochers, A.A.: A Hybrid Methodology for Synthesis of Petri Net Models for Manufacturing Systems. IEEE Trans. on Robotics and Automation, 8 (1992), pp. 350-361.
17. Zhou, M.C., DiCesare, F., and Rudolph, D.L.: Design and Implementation of a Petri Net Based Supervisor for a Flexible Manufacturing System. Automatica, 28 (1992), pp. 1199-1208.