Petri Nets
Powerful uninterpreted modeling tool
Defined by C.A. Petri in 1966
Describes explicitly and graphically the main paradigms of concurrent computation:
- sequencing/causality
- conflict/non-deterministic choice
- concurrency
Asynchronous model (partial ordering)
Main drawback: no hierarchy