We present a symbolic method for p-semiflow computation, based on zero-suppressed decision diagrams. Both the traditional explicit methods and our new symbolic method rely on Farkas' algorithm, and compute a generator set from which any p-semiflow for the Petri net can be derived through a linear combination. We demonstrate the effectiveness of four variants of our algorithm by applying them on a suite of Petri net models, showing that our symbolic approach can produce results in cases where the explicit approach is infeasible. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Ciardo, G., Mecham, G., Paviot-Adet, E., & Wan, M. (2009). P-semiflow computation with decision diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5606 LNCS, pp. 143–162). https://doi.org/10.1007/978-3-642-02424-5_10
Mendeley helps you to discover research relevant for your work.