TY  - RPRT
TI  - A Process Calculus for Expressing Finite Place/Transition Petri Nets
AU  - Roberto Gorrieri
AU  - Cristian Versari
PY  - 2010
DO  - 10.4204/eptcs.41.6
UR  - https://arxiv.org/abs/1011.6433
ID  - 1011.6433
ER  -