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