Coloured Petri net

From Free net encyclopedia