Data Flow Diagram
(For more details, please also read online introduction on DFD)
Formal Models
UML: The Unified Modelling Language
(For more details, please also read online introduction on UML)
Petri Nets
(Petri nets are included in graduate course based upon this classnote)