Realization theory of discrete-event systems and its application to the uniqueness and universality of DEVS formalism

International Journal of General Systems

Volumn 30, Issue 5, 2001, Pages 513-549

  Sato, Ryo ^a  

^a UNIVERSITY OF TSUKUBA   (Japan)

Author keywords

Discrete event system; Generic realization; Uniqueness of DEVS; Universality of DEVS

Indexed keywords

EID: 26044446147     PISSN: 03081079     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (20)

1. Asahi, T. and Zeigler, B.P. (1993), "Behavioral Characterization of Discrete Event Systems." Proceedings of AISP '93: 4th. Annual Conference on AI, Simulation and Planning, IEEE computer society, 127-132.
2. Ho, Y.-C. (1989), Special issue on dynamics of discrete event systems. Proceedings of the IEEEE, 77(1).
3. Mesarovic, M.D. and Takahara, Y. (1975), Mathematical foundation of general systems theory, Academic.
4. Mesarovic, M.D. and Takahara, Y. (1989), Abstract systems theory. (Lecture Notes in Control and Information Science 116), Springer.
5. Monden, Y. (1983), Toyota Production System - Practical approach to production management. Industrial Engineering and Management Press, Institute of Industrial Engineers.
6. Peterson, J. (1981), Petri net theory and the modeling of systems, Prentice-Hall.
7. Praehofer, H. (1991), "Systems theoretic formalisms for combined discrete-continuous systems simulation." International Journal of General Systems, 19(2), 219-240.
8. Praehofer, H. and Zeigler, B.P. (1996), "On the expressibility of discrete event specified systems." In: Computer Aided Systems Theory - CAST '94, (Lecture Notes in Computer Science, vol. 1105), edited by Oeren, T. and Klir, J., Springer, 65-79.
9. Sato, R., Praehofer, Herbert and Pichler, Franz (1995), "Realization theory of general discrete event systems and the uniqueness problem of DEVS formalism". Institute of Socio-economic Planning Discussion Paper series No. 625, University of Tsukuba.
10. Sato, R. (1996), "Toward a unified theory of discrete event systems." In: Computer Aided Systems Theory - EUROCAST '95, (Lecture Notes in Computer Science, vol. 1030), edited by Pichler, F., Moreno Diaz, M. and Albrecht, R., Springer, 62-72.
11. Sato, R. and Praehofer, H. (1997), "A discrete event model of business system - A Systems Theoretic Foundation for Information Systems Analysis: Part 1." IEEE Transactions on Systems, Man, and Cybernetics, 27(1), 1-10.
12. Sato, R. (1997), "Meaning of Data flow Diagram and Entity Life History - A Systems Theoretic Foundation for Information Systems Analysis: Part 2." IEEE Transactions on Systems, Man, and Cybernetics, 27(1), 11-22.
13. Sato, R. (1999), "Modeling business processes through DFD's and Petri nets." Journal of Japan Society for Management Information, 8(1), 1-15. (in Japanese)
14. Takahashi, S. (1996), "General morphism for modeling relations in multimodeling." Transactions of the Society for Computer Simulation International, 13(4), 169-178.
15. Takahara, Y. and Iijima, J. (1990), Systems Theory, Kyouritsu Shuppan (in Japanese).
16. Womack, J. and Jones, D. (1986), Lean Thinking, Simon & Schuster.
17. Zadeh, L.A. and Desoer, C.A. (1963), Linear System Theory: The State Space Approach, McGraw-Hill.
18. Zeigler, B.P. (1976), Theory of modeling and simulation, John Wiley.
19. Zeigler, B.P. (1984), Multifaceted modeling and discrete event simulation, Academic.
20. Zeigler, B.P. (1996), Personal suggestion made by Zeigler, B.P. at the sixth annual conference on AI, Simulation and Planning in High Autonomy Systems held in San Diego.