Coloured Petri Nets: Basic Concepts (1992)

by Kurt Jensen