Title: Colour Petri nets for object-oriented modelling
Subjects: Petri nets, Gefärbtes Petri-Netz