Hierarchies in coloured Petri nets (1990)

by P Huber, K Jensen, R M Shapiro
Venue:LNCS