For the most recent entries see the
Petri Nets Newsletter.
Predicate-Transition Net Reachability Testing Using Heuristic Search.
Yim, J.;
Nelson, P.C.;
Murata, Tadao
In:
Transactions of the Institute of Electrical Engineers of Japan, Publication of Electronics, Information and Systems Society, Vol. 114-C, No. 9, pages 907-913.
1994.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography