For the most recent entries see the
Petri Nets Newsletter.
Partial order verification with PEP.
DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 29, pages 305-328.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography