No. 120 (1980): PB-120 How to find Invariants for Coloured Petri Nets

Published: 1980-05-01