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

Publiceret: 1980-05-01