No. 104 (1979): PB-104 Coloured Petri Nets and the Invariant-Method

Published: 1979-10-01