For the most recent entries see the
Petri Nets Newsletter.
Application of Petri nets in verification of distributed systems represented in the Estelle language.
Implementing model checking and equivalence checking for time Petri nets by the RT-MEC tool.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography