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

Lars Michael Kristensen, Michael Westergaard

Browse the full FMICS paper archive.