Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.