Modelling and Simulation 


Course Description (and a bit about time bases)
presentation [pdf].

Formalisms: Causal Block Diagrams (CBDs)
Topological Sorting and Strong Component algorithms.
Lecture on Algebraic and Discrete-Time CBDs [video].
Lecture on Continuous-Time CBDs [video].

Formalisms: Petri Nets
Lecture on the fundamentals of Petri Nets [video].
Lecture on the fundamentals of Petri Nets (second part) [video].
Lecture on the analysis of Petri Nets [video].
Lecture on Algebraic Petri Nets [video].
Christos G. Cassandras. Discrete Event Systems. Irwin, 1993. Chapters 4, 5. [pdf] (scanned for students without access to the book).
Tadao Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
James L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall, 1981.

Formalisms: Statecharts
David Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. Volume 8. 1987. pp. 231 - 274. [pdf].
David Harel. On Visual Formalisms. Communications of the ACM. Volume 31, No. 5. 1988. pp. 514 - 530. [pdf].
David Harel and Amnon Naamad, The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology (TOSEM) Volume 5 , Issue 4 (October 1996) pp.293 - 333. [pdf].
D. Harel and M. Politi. Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill, 1998. (available online).
Michael von der Beeck. A structured operational semantics for UML-statecharts. Software and Systems Modeling. Volume 1, No. 2 pp.130 - 141. December 2002. [pdf].

Formalisms: Event-Scheduling Discrete-Event

Formalisms: Discrete-EVent System Specification (DEVS)

Population Dynamics and Forrester System Dynamics
presentation [pdf]

Modelling and Simulation Foundations: Systems Specification
presentation [pdf]
notes [pdf]
Maintained by Hans Vangheluwe. Last Modified: 2012/04/09 20:31:13.