An algorithm for computing s-invariants for high level petri nets - Lin, Chuang; Zhang, Tong (Fachberichte Informatik, 1991)