Petri nets and OMT for modelling and analysis of DEDS

Control Engineering Practice

Volumn 5, Issue 10, 1997, Pages 1407-1415

  Azzopardi, D ^a   Holding, D J ^b  

^a MARTLESHAM HEATH   (United Kingdom)

^b ASTON UNIVERSITY   (United Kingdom)

Author keywords

control; discrete event dynamic systems; modelling; object modelling techniques; Petri nets

Indexed keywords

DISCRETE EVENT DYNAMIC SYSTEMS (DEDS); OBJECT MODELING TECHNIQUE (OMT);

COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; PETRI NETS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0031259801     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0967-0661(97)00137-8     Document Type: Article

References (31)

1. Agerwala, T., and Y. Choed-Amphai (1978). A synthesis rule for concurrent systems, Proceedings of the Design Automation Conference, pp. 305-311.
2. Azzopardi, D., and S. Lloyd (1994). Reduction of search space for scheduling of multi-product batch process plant, 2nd IFAC/IFIP/IFORS Workshop on Intelligent Manufacturing Systems, Vienna, Austria, pp. 433-438.
3. Booch, G. (1991). Object-Oriented Design With Applications, Benjamin Cummings.
4. Cassandras, C.C. (1993). Discrete-event Systems - Modelling and Performance Analysis, Asken Associates.
5. Chen, P.P.S. (1976) The entity-relationship model-towards a unified view of data, ACM Transactions on Database Systems 1, Vol 1.
6. David, R. and H. Alla (1992). Petri nets and Grafcet: Tools for modelling Discrete-event Systems, Prentice-Hall.
7. Desrochers, A.A. and R.Y. Al-Jaar (1995). Applications of Petri Nets in Manufacturing Systems, IEEE Press.
8. Firesmith, D.G. (1993). Object Oriented Requirement Analysis and Logical design: A Software Engineering Approach, Wiley.
9. Giua, A. and F. DiCesare (1994). Stuctural analysis for supervisory control, IEEE Transactions on Robotics and Automation, Vol.10, No.2, pp. 185-195.
10. Holloway, L.E. and B.H. Krogh (1990). Synthesis of feedback control logic for a class of controlled Petri nets, IEEE Transactions on Automatic Control, Vol. 35, No. 5, pp. 514-523.
11. Hopcroft, J.E. and J.D. Ullman (1979). Introduction to Automata Theory, Languages and Computation, Addison-Wesley.
12. Jeng, M.D. and F. DiCesare (1993). A review of synthesis techniques for Petri nets with applications to automated manufacturing systems, IEEE Transactions on System, Man and Cybernetics, Vol. 23, No. 1, pp.301-312.
13. Jiang, J. (1995). Development of real-time process control systems using formal techniques, PhD Thesis, Aston University.
14. Jiang, J., D. Azzopardi, D.J. Holding, G.F. Carpenter and J.S. Sagoo (1996). Real-time synchronisation of multi-axis high-speed machines, from SFC specification to Petri-net verification, IEE Proceedings Control Theory and Applications, Vol. 143, Issue 2, pp. 164-170.
15. Krogh, B.H. and C.L. Beck (1986). Synthesis of place/transition nets for simulation and control of manufacturing systems, Proceedings of the 4th IFAC/IFORS Symposium on Large Scale Systems, Zurich.
16. Krogh, B.H. (1987). Controlled Petri nets and maximally permissive feedback logic, Proceedings of the 25th Ann. Allerton Conference, Univ. Illinois, Urbana.
17. McConnell, S. (1993). Code Complete, Microsoft Press.
18. Murata, T. (1989). Petri Nets: properties, analysis and applications, Proceedings of the IEEE, vol. 77, No.4, pp. 541-580.
19. Peterson, J.L. (1981). Petri-net Theory and the Modelling of Systems, Prentice-Hall.
20. Ramadge, PJ. and W.M. Wonham (1987). Supervisory control of a class of discrete-event processes, SIAM J. Control Optim., Vol.25, No. 1, pp. 206-230.
21. Ramadge, P.J. and W.M. Wonham (1989). The control of discrete-event systems, Proc. IEEE, Vol. 77, No. 1, pp. 81-98.
22. Rumbaugh, J., M. Blaha, W. Premerlani, F. Eddy and W. Lorenson (1991). Object-Oriented Modelling and Design, Prentice-Hall.
23. Shen, L., Q. Chen and J.Y.S. Luh (1992). Truncation of Petri-net models for simplifying computation of optimum scheduling problems, Computers in Industry, Vol.20, No.1, pp25-43.
24. Sobh, M., C.J. Owen, K.P. Valvanis, and D. Gracanin (1994). A subject indexed bibliography of discrete-event dynamic systems, IEEE Robotics and Automation Magazine, Vol.1,No.2, pp. 14-20.
25. Suzuki, I. and T. Murata (1982). Stepwise refinements of transitions and places, Application and Theory of Petri nets, Vol. 52, pp. 136-141.
26. Valette, R. (1979) Analysis of Petri nets by stepwise refinements, Journal of Computer and System Science, No. 18, pp. 35-46.
27. Valette, R., M. Courvoisier, H. Demmou, J.M. Bigou and C. Desclaux (1985). Putting Petri nets to work for controlling flexible manufacturing systems, Proceedings of Int. Symp. on Circ. & Syst., Kyoto, Japan, pp. 929-932.
28. Valette, R. (1995). Petri nets for control and monitoring: specification, verification, implementation,Workshop on Analysis and Design of Event-Driven Operations in Process Systems, Centre for Process Systems Engineering, Imperial College, London.
29. Wirth, N. (1971). Program development by stepwise refinement, Communications of the ACM 14, No. 4, pp. 221-27.
30. Zhou, M.C. and F. Dicesare (1991). Parallel and sequential mutual exclusions for Petri-net modelling of manufacturing systems with shared Resources, IEEE Transactions on Robotics and Automation, Vol.7, No.4, pp 515-27.
31. Zhou, M.C. and F. DiCesare (1993). Petri-net Synthesis for Discrete-event Control of Manufacturing Systems, Kluwer Academic Publishers.