"Counting Petri net markings from reduction equations."

Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics