Petri Nets and Semilinear Sets (Extended Abstract).

Hsu-Chun Yen

Browse the full ICTAC paper archive.