TY  - RPRT
TI  - On Liveness Enforcement of Distributed Petri Net Systems
AU  - Daniel Clavel
AU  - Cristian Mahulea
AU  - Manuel Silva
PY  - 2020
UR  - https://arxiv.org/abs/2012.14199
ID  - 2012.14199
ER  -