Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. (2010)

by L M Kristensen, M Westergaard
Venue:In Proc. of FMICS’10,