. . "coloured Petri net." . "coloured Petri net." .