Hanifa Boucheneb, Hind Rakkay. A more efficient time Petri net state space abstraction preserving linear properties. In Twan Basten, Gabriel Juhás, Sandeep K. Shukla, editors, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. pages 61-70, IEEE Computer Society, 2007. [doi]
@inproceedings{BouchenebR07,
title = {A more efficient time Petri net state space abstraction preserving linear properties},
author = {Hanifa Boucheneb and Hind Rakkay},
year = {2007},
doi = {10.1109/ACSD.2007.41},
url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.41},
tags = {abstraction},
researchr = {https://researchr.org/publication/BouchenebR07},
cites = {0},
citedby = {0},
pages = {61-70},
booktitle = {Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic},
editor = {Twan Basten and Gabriel Juhás and Sandeep K. Shukla},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-2902-8},
}