Ten Years of Saturation: A Petri Net Perspective
scientific article; zbMATH DE number 6043676