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