Coloured Petri Nets Jensen, Kurt
Cautious Beginnings Jensen, Kurt
1