For the most recent entries see the Petri Nets Newsletter.

Verification using PEP.

Melzer, S.; Römer, S.; Esparza, J.

In: Lecture Notes in Computer Science, Vol. 1101: Proc. AMAST '96, pages 591-594. Springer-Verlag, 1996.

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

Back to the Petri Nets Bibliography