For the most recent entries see the Petri Nets Newsletter.

A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.

Chung, Ming-Ying; Ciardo, Gianfranco; Yu, Andy Jinqing

In: Automated Technology for Verification and Analysis, pages 51-66. 2006. URL:

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

Back to the Petri Nets Bibliography