TY  - RPRT
TI  - Checking marking reachability with the state equation in Petri net subclasses
AU  - Thomas Hujsa
AU  - Bernard Berthomieu
AU  - Silvano Dal Zilio
AU  - Didier Le Botlan
PY  - 2020
UR  - https://arxiv.org/abs/2006.05600
ID  - 2006.05600
ER  -