Ten Years of Saturation: A Petri Net Perspective

Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin. Ten Years of Saturation: A Petri Net Perspective. T. Petri Nets and Other Models of Concurrency, 5:51-95, 2012. [doi]

Abstract

Abstract is missing.