Towards Automatic Code Generation from Process-Partitioned Coloured Petri Nets (2009)

by K L Espensen, M K Kjeldsen, L M Kristensen, M Westergaard
Venue:Aarhus University