Coloured Petri Nets and the Invariant-Method.

For the most recent entries see the Petri Nets Newsletter.

Aarhus University, Computer Science Department, DAIMI PB-104, October 1979.

Also in: Theor. Comp. Science 14, pages 317-336. 1981.

Do you need a refined search? Try our search engine which allows complex field-based queries.