For the most recent entries see the Petri Nets Newsletter.

Keyword: deadlock analysis

Chu, F.; Xie, X.-L.:
Deadlock analysis of Petri nets using siphons and mathematical programming. 1997.
Shatz, S.M.; Tu, S.; Murata, Tadao; Duri, S.:
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. 1996.

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

Back to the Petri Nets Bibliography