For the most recent entries see the Petri Nets Newsletter.

Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.

Duri, S.; Buy, U.; Devarapalli, R.; Shatz, S.M.

In: ACM Transactions on Software Engineering Methodology, Vol. 3, No. 4, pages 340-380. 1994.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography