TY - BOOK AU - Jensen, Kurt TI - Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol-2 SN - 3540582762 PY - 1995/// CY - New York PB - Springer-Verlag ER -