Counting Petri net markings from reduction equations

Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio. Counting Petri net markings from reduction equations. STTT, 22(2):163-181, 2020. [doi]

Abstract

Abstract is missing.