TY  - RPRT
TI  - Petri Automata
AU  - Paul Brunet
AU  - Damien Pous
PY  - 2017
DO  - 10.23638/lmcs-13(3:33)2017
UR  - https://arxiv.org/abs/1702.01804
ID  - 1702.01804
ER  -