Characterizing Stable and Deriving Valid Inequalities of Petri Nets

Marvin Triebel, Jan Sürmeli. Characterizing Stable and Deriving Valid Inequalities of Petri Nets. Fundamenta Informaticae, 146(1):1-34, 2016. [doi]

Abstract

Abstract is missing.