For the most recent entries see the
Petri Nets Newsletter.
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.
Using State Space Methods for Deadlock Analysis in Ada Tasking.
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