For the most recent entries see the
Petri Nets Newsletter.
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.
ACM Transactions on Software Engineering Methodology, Vol. 3, No. 4, pages 340-380.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography