Lectures
Course Description (and a bit about time bases)
Formalisms: Causal Block Diagrams (CBDs)
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]. |
| presentation[pdf] |
| 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
| presentation[pdf]. |
| 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
Modelling and Simulation Foundations: Systems Specification
| presentation [pdf] |
| notes [pdf] |
|
