Generating behavioral model of coupled SP-DEVS

Simulation Series

Volumn , Issue , 2005, Pages 90-97

  Hwang, Moon Ho ^a  

^a Wayne State University   (United States)

Author keywords

Discrete event system specifica Tion(DEVS); Timed behavior. abstract simulation. behavior of coupled devs

Indexed keywords

ABSTRACT SIMULATION; BEHAVIORAL MODEL; C++ LANGUAGE; FINITE STATE SPACES;

ALGORITHMS;

BEHAVIORAL RESEARCH;

EID: 33745956755     PISSN: 07359276     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Silicon Graphics. Standard Template Library Programmer's Guide, http://www.sgi.com/tech/stl, 1993-2004.
2. G.P. Hong and T.G. Kim. A framework for verifying discrete event models whithin a devs-based system development methodology. Transactions of The Society for Computer Simulation, 13:1934, 196.
3. J.E. Hopcroft, R. Motwani, and J.D. Ullman. Introduction to Automata Theory. Languages, and Computation. Addison Wesley, second edition, 2000.
4. M.H. Hwang. Identifying equivalence of devss: Language approach. In In A. Bruzzone and M. Itmi, editors, Proceedings of 2003 Summer Computer Simulation Conference, pages 319-324, Montreal, Canada, 2003. SCS.
5. M.H. Hwang and S.K. Cho. Timed analysis of schedule preserved devs. In A.G. Bruzzone and E. Williams, editors, 2004 Summer Computer.
6. Tag G. Kim. S.M. Cho, and W.B. Lee. Framework for systems development: Unified specification for logical analysis, performance evaluation and implementation. In H.S. Sarjoughian and F.E. Cellier, editors, Discrete Event Modeling and Simulation Technologies, pages 131-166, New York, 2001. Springer-Verlag.
7. Microsoft Visual C++ Net. http://msdn.microsoft.com/visualc/2002.
8. Bjarne Stroustrup. The C++ Programming Language. Addison Wesley, New York, third edition, 2002.
9. B.P. Zeigler. Multifacetted Modeling and Discrete Event Simulation. Academic Presse, London.Orlando, first edition, 1984.
10. B.P. Zeigler. Hierarchical, modular discreteevent modelling in an object-oriented environment. SIMULATION, 49(5):219-230, 1987.
11. B.P. Zeigler, H.Praehofer, and T.G. Kim. Theory of Modelling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press, London, second edition, 2000.