Petri Nets

11, CP: Concurrency State Models and Design Patterns