Coloured Petri Nets. (1997)

by K Jensen