An algorithm for computing S-invariants for high level Petri Nets - Lin, Chuang; Zhang, Tong (Fachberichte Informatik, 1991)