Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan. P-Semiflow Computation with Decision Diagrams. In Giuliana Franceschinis, Karsten Wolf, editors, Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Volume 5606 of Lecture Notes in Computer Science, pages 143-162, Springer, 2009. [doi]
@inproceedings{CiardoMPW09,
title = {P-Semiflow Computation with Decision Diagrams},
author = {Gianfranco Ciardo and Galen Mecham and Emmanuel Paviot-Adet and Min Wan},
year = {2009},
doi = {10.1007/978-3-642-02424-5_10},
url = {http://dx.doi.org/10.1007/978-3-642-02424-5_10},
researchr = {https://researchr.org/publication/CiardoMPW09},
cites = {0},
citedby = {0},
pages = {143-162},
booktitle = {Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings},
editor = {Giuliana Franceschinis and Karsten Wolf},
volume = {5606},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02423-8},
}