Kurt Jensen, Lars Michael Kristensen, Lisa Wells. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. STTT, 9(3-4):213-254, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.