"Ten Years of Saturation: A Petri Net Perspective."

Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics