TY  - RPRT
TI  - Compositional Semantics of Finite Petri Nets
AU  - Roberto Gorrieri
PY  - 2023
UR  - https://arxiv.org/abs/2308.08983
ID  - 2308.08983
ER  -