TY  - RPRT
TI  - Petri Net Reductions for Counting Markings
AU  - Bernard Berthomieu
AU  - Didier Le Botlan
AU  - Silvano Dal Zilio
PY  - 2018
DO  - 10.1007/978-3-319-94111-0_4
UR  - https://arxiv.org/abs/1807.02973
ID  - 1807.02973
ER  -