@Inproceedings{EPTCS39.2, author = {Boucheneb, Hanifa and Barkaoui, Kamel}, year = {2010}, title = {On interleaving in {P,A}-Time Petri nets with strong semantics}, editor = {Chen, Yu-Fang and Rezine, Ahmed}, booktitle = {{\rm Proceedings 12th International Workshop on} Verification of Infinite-State Systems, {\rm Singapore, 21st September 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {39}, publisher = {Open Publishing Association}, pages = {17-31}, doi = {10.4204/EPTCS.39.2}, }