For the most recent entries see the
Petri Nets Newsletter.
Duri, S.
-
Shatz, S.M.;
Tu, S.;
Murata, Tadao;
Duri, S.:
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.
1996.
-
Duri, S.;
Buy, U.;
Devarapalli, R.;
Shatz, S.M.:
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.
1994.
-
Duri, S.;
Buy, U.;
Devarapalli, R.;
Shatz, S.M.:
Using State Space Methods for Deadlock Analysis in Ada Tasking.
1993.
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