For the most recent entries see the Petri Nets Newsletter.

Partial order verification with PEP.

Best, E.

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.

Back to the Petri Nets Bibliography