Charles Lakos;John Lamp
-;-
Incremental State Space Construction for Coloured Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets