Modeling of discrete event systems: A holistic and incremental approach using Petri nets

ACM Transactions on Modeling and Computer Simulation

Volumn 14, Issue 4, 2004, Pages 389-423

  Bobeanu, Carmen Veronica ^a   Kerckhoffs, Eugene J H ^b   Van Landeghem, Hendrik ^a  

^a GHENT UNIVERSITY   (Belgium)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COUPLED MODELS; DISCRETE EVENT SYSTEMS; MULTI-PARADIGM MODELING; SYSTEMS SPECIFICATION GUIDELINES;

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; COUPLINGS; MATHEMATICAL MODELS; PROBLEM SOLVING; SYSTEMS ANALYSIS;

PETRI NETS;

EID: 10944258434     PISSN: 10493301     EISSN: None     Source Type: Journal    
DOI: 10.1145/1029174.1029178     Document Type: Article

References (31)

1. ALLA, H. AND BOBEANU, C. V. 1997. An algebraic approach for the Petri nets modeling of discrete event systems. Stud. Inf. Cont. 6, 4, (Dec.), 359-368.
2. BERNARDINELLO, L. AND DE CINDIO, F. 1992. A survey of basic net models and modular net classes. In Lecture Notes in Computer Science, Vol. 609, Springer-Verlag, New York.
3. BILLINGTON, J., DIAZ, M., AND ROZENBERO, G. EDS. 1999. Application of Petri Nets to Communication Networks. Lecture Notes in Computer Science, vol. 1605, Springer-Verlag, New York.
4. BOBEANU, C. V. 2000. Contributions to Modeling and Simulation of Discrete Event Systems and Applications. Ph.D. dissertation (in Romanian). University of Bucharest.
5. BOBEANU, C. V. AND KERCKHOFFS, E. J. H. 1998. An algebraic approach to modular synthesis of Petri nets based simulation models of production systems. In Proceedings of the 10th European Simulation Symposium "Simulation Technology: Science and Art", ESS'98 (Nottingham, England). 453-459.
6. BOBEANU, C. V. AND KERCKHOFFS, E. J. H. 1999. A systematic construction of Petri-nets models of discrete-event systems. In Szczerbicka, H. (Ed.) Proceedings of the 13th European Simulation Multiconference "Modeling and Simulation: A Tool for the Next Millennium" ESM'99 (Warsaw, Poland). H. Szczerbicka, Ed. 49-55.
7. BOBEANU, C. V. AND KERCKHOFFS, E. J. H. 2001. An algebraic approach to Petri nets-based representations of complex discrete event systems. In Proceedings of the 13th European Simulation Symposium "Simulation in Industry", (ESS'01). (Marseille, France). 959-964.
8. DICESARE, F., HARHALAKIS, G., PROTH, J. M., SILVA, M., AND VERNADAT, F. B. 1993. Practice of Petri Nets in Manufacturing. Chapman and Hall.
9. DONATELLI, S. 1997. An Introduction to Timed Petri Nets and Generalized Stochastic Petri Nets. In Proceedings of the International Conference on Application and Theory of Petri Nets, (ICATPN'97). Introductory Tutorial.
10. EHRIG, H. AND REISIG, W. 1997. An algebraic view on Petri nets. Petri Net Newsl. 5, 2, (Apr.), 8-13.
11. KERCKHOFFS, E. J. H., ALLA, H., BOBEANU, C. V., AND FILIP, F. G. 1997. Using a repository model base to support a Petri nets-based multifacetted modeling of complex manufacturing systems. In Proceedings of the 9th European Simulation Symposium "Simulation in Industry", (ESS'97). (Erlangen). 728-735.
12. KERCKHOFFS, E. J. H., ALLA, H., AND BOBEANU, C. V. 1998. A systematic method supporting Petri nets-based multifacetted modeling of complex production systems using object repositories. In Proceedings of the 12th European Simulation Multiconference "Simulation - Past, Present and Future", (ESM'98). (Manchester, England). 112-118.
13. KERCKHOFFS, E. J. H. AND BOBEANU, C. V. 1999. A systematic approach to the synthesis of Petri-nets simulation models (and adjoint experimental frames) of discrete-event systems. In Proceedings of the 11th European Simulation Symposium "Simulation in Industry" (ESS'99). (Erlangen). 66-73.
14. KERCKHOFFS, E. J. H. AND BOBEANU, C. V. 2001. Systematic structural modeling of discrete event systems using Petri nets. In Proceedings of the 13th European Simulation Symposium "Simulation in Industry" (ESS'01). (Marseille, France). 949-958.
15. MOSTERMAN, P. J. AND VANGHELUWE, H. 2000. Computer automated multi-paradigm modeling in control system design. Special issue guest editorial. In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design (Anchorage, Alaska). 65-70.
16. MOSTERMAN, P, J. AND VANGHELUWE, H. 2002. Computer automated multi-paradigm modeling. Special issue guest editorial. ACM Trans. Model. Comput. Simul. 12, 4, 1-7.
17. PETRI, C. A. 1963. Fundamentals of a theory of asynchronous information flow. In Proceedings of IFIP Congress'62 (Amsterdam, The Netherlands), 386-389.
18. PETRI, C. A. 1996. Nets, time and space. Theoret. Comput. Sci. Logics, Semant. Theory Program, 153, 1-2 (Jan.), 3-48.
19. REISIG, W. AND ROZENBERG, G. 1998. Lectures on Petri Nets: Advances in Petri nets. Lecture Notes in Computer Science, Vol. 1492. Springer-Verlag Berlin Heidelberg, Germany.
20. ROZENBERG, G. (ED.). 1985. Advances in Petri Nets 1984. Lecture Notes in Computer Science, vol. 188. Springer-Verlag, New York.
21. ROZENBERG, G. (ED.). 1986. Advances in Petri Nets 1985. Lecture Notes in Computer Science, vol. 222. Springer-Verlag, New York.
22. ROZENBERG, G. (ED.). 1987. Advances in Petri Nets 1987. Lecture Notes in Computer Science, vol. 266. Springer-Verlag, New York.
23. SILVA, M. AND TERUEL, E. 1997. Petri nets for the design and operation of manufacturing systems. Europ. J. Control 8, 182-199.
24. VALETTE, R. 1997. Some issues about Petri net application to manufacturing and process supervisory control. In Proceedings of the 18th International Conference, ICATPN'97, "Application and Theory of Petri Nets 1997" (Toulouse, France). Lecture Notes in Computer Science, vol. 1248. Springer-Verlag, New York, 23-41.
25. VAN DER AALST, W. M. P., DESEL, J., AND OBERWEIS, A. (EDS.). 2000. Business Process Management-Models, Techniques and Empirical Studies. Lecture Notes in Computer Science, vol. 1806. Springer-Verlag, New York.
26. VANGHELUWE, H., KERCKHOFFS, E. J. H., AND VANSTEENKISTE, G. 2001. Computer automated modeling of complex systems. In Proceedings of the 15th European Simulation Multiconference "Modeling and Simulation 2001", ESM'2001 (Prague, Czech Republic). 7-18.
27. ZEIGLER, B. P. 1984. Multifacetted Modeling and Discrete Event Simulation. Academic Press, Inc., Orlando, Fla.
28. ZEIGLER, B. P. 1990. Object-Oriented Simulation with Hierarchical, Modular Models. Intelligent Agents and Endomorphic Systems. Academic Press, Inc., Orlando, Fla.
29. ZEIGLER, B. P. 1997. A framework for modeling & simulation, Applied Modeling & Simulation: An Integrated Approach to Development & Operation, McGraw-Hill, New York.
30. ZEIGLER, B. P., PRAEHOPER, H., AND KIM, T. G. 2000. Theory of Modeling and Simulation, 2nd Edition, Academic Press, Orlando, Fla.
31. ZHOU, Y., MURATA, T., AND DEFANTI, T. A. 2000. Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments. IEEE Trans. Syst. Man, Cybernet. B: Cybernetics 30, 5, 737-756.