Counting Petri net markings from reduction equations
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio International Journal on Software Tools for Technology Transfer (STTT) :1—19, apr 2019.
Reductions
Petri Net Reductions for Counting Markings
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio In SPIN 2018 — International Symposium on Model Checking Software, jun 2018.