TY  - RPRT
TI  - On interleaving in {P,A}-Time Petri nets with strong semantics
AU  - Hanifa Boucheneb
AU  - Kamel Barkaoui
PY  - 2010
DO  - 10.4204/eptcs.39.2
UR  - https://arxiv.org/abs/1011.0218
ID  - 1011.0218
ER  -