Coloured Petri Nets { Basic concepts I (1992)

by K Jensen