For the most recent entries see the Petri Nets Newsletter.

Model checking using net unfoldings.

Esparza, J.

In: Lecture Notes in Computer Science, Vol. 668: Proc. TAPSOFT '93, pages 613-628. Springer-Verlag, 1993.

Also in: Science of Computer Programming, Vol. 23, No. 2, pages 151-195. 1994.

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

Back to the Petri Nets Bibliography