Coloured Petri Nets and the Invariant-Method

DAIMI Report Series
doi 10.7146/dpb.v8i104.6519
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library