@misc{indiciae73a6e03c8c7b,
  title = {On interleaving in \{P,A\}-Time Petri nets with strong semantics},
  author = {Hanifa Boucheneb and Kamel Barkaoui},
  year = {2010},
  doi = {10.4204/eptcs.39.2},
  url = {https://arxiv.org/abs/1011.0218},
  note = {Source identifier: 1011.0218}
}