TY  - RPRT
TI  - A State Class Construction for Computing the Intersection of Time Petri Nets Languages
AU  - Yannick Pencolé
AU  - Éric Lubat
AU  - Silvano Dal Zilio
AU  - Didier Le Botlan
AU  - Audine Subias
PY  - 2019
DO  - 10.1007/978-3-030-29662-9_5
UR  - https://arxiv.org/abs/1908.02087
ID  - 1908.02087
ER  -