Implementing Coloured Petri Nets Using a
β
Lars Michael Kristensen; SΓΈren Christensen
π
Article
π
2004
π
Springer
π
English
β 518 KB