Partial order verification with PEP.

For the most recent entries see the Petri Nets Newsletter.

In: DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 29, pages 305-328. 1997.

Do you need a refined search? Try our search engine which allows complex field-based queries.