Towards a modular analysis of coloured Petri nets (1992)

by S Christensen, L Petrucci
Venue:Application and Theory of Petri Nets 1992. Lecture Notes in Computer Science