Petri nets and mot for modelling and analysis of deds

Abstract This paper presents a modification to OMT, to model and analyse discrete-event dynamic systems (DEDSs). It shows how Petri-net theory can be used to improve the representation and analysis of the dynamic model of a system that is specified using OMT. Finally the technique is illustrated by its application to a prototype high-speed software-controlled can-sorting machine.

[1]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[2]  L. Shen,et al.  Truncation of Petri net models for simplifying computation of optimum scheduling problems , 1992 .

[3]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[4]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[5]  Carolyn L. Beck,et al.  Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems , 1987 .

[6]  Kimon P. Valavanis,et al.  A subject-indexed bibliography of discrete event dynamic systems , 1994, IEEE Robotics & Automation Magazine.

[7]  MuDer Jeng,et al.  A review of synthesis techniques for Petri nets with applications to automated manufacturing systems , 1993, IEEE Trans. Syst. Man Cybern..

[8]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[9]  Tilak Agerwala,et al.  A Synthesis Rule for Concurrent Systems , 1978, 15th Design Automation Conference.

[10]  D. Azzopardi,et al.  Reduction of Search Space for Scheduling of Multi-Product Batch Process Plant , 1994 .

[11]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[12]  René David,et al.  Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

[13]  Ichiro Suzuki,et al.  Stepwise Refinements of Transitions and Places , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[14]  Christos G. Cassandras,et al.  Discrete event systems : modeling and performance analysis , 1993 .

[15]  James E. Rumbaugh,et al.  Object-Oriented Modelling and Design , 1991 .

[16]  Robert Valette,et al.  Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..

[17]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[18]  Jingyue Jiang.  Development of real-time process control systems using formal techniques , 1995 .

[19]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[20]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[21]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .

[22]  Alessandro Giua,et al.  Petri net structural analysis for supervisory control , 1994, IEEE Trans. Robotics Autom..

[23]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..