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]

Authors

Bernard Berthomieu

This author has not been identified. Look up 'Bernard Berthomieu' in Google

Didier Le Botlan

This author has not been identified. Look up 'Didier Le Botlan' in Google

Silvano Dal-Zilio

This author has not been identified. Look up 'Silvano Dal-Zilio' in Google