P-Semiflow Computation with Decision Diagrams

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]

Authors

Gianfranco Ciardo

This author has not been identified. Look up 'Gianfranco Ciardo' in Google

Galen Mecham

This author has not been identified. Look up 'Galen Mecham' in Google

Emmanuel Paviot-Adet

This author has not been identified. Look up 'Emmanuel Paviot-Adet' in Google

Min Wan

This author has not been identified. Look up 'Min Wan' in Google