Chris Johnson, Index.
Graphical Accident Modelling
- Petri Nets:
- Places (circles) represent facts
- Transitions (rectangles) represent events.
- marked places are true (filled circles)
Based on part of the UK Department of Transport's Report into the Clapham Junction Railway accident. Her Majesty's Stationary Office, London, 1989.
- Modelling change:
- transitions fire if all input places marked.
- all output places are then marked.
