For the most recent entries see the
Petri Nets Newsletter.
Use of Petri Net Invariants to Detect Static Deadlocks in ADA Programs.
Shenker, B.;
Murata, Tadao;
Shatz, S.M.
In:
Proc. of the Fall Joint Comp. Conf, pages 1072-1081.
Washington: IEEE Computer Society Press,
November 1986.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography