Reachability trees for Petri nets: a heuristic approach
Autor: | Bandreddi E. Prasad, Garimella Uma |
---|---|
Rok vydání: | 1993 |
Předmět: | |
Zdroj: | Knowledge-Based Systems. 6:174-177 |
ISSN: | 0950-7051 |
DOI: | 10.1016/0950-7051(93)90042-r |
Popis: | The paper explores the use of heuristics to search reachability trees (graphs) for particular markings. Evaluation functions are defined on markings for two well known heuristics: means-ends analysis and the A ∗ algorithm. A comparison of these approaches with conventional reachability tree analysis (breadth-first search) is given. |
Databáze: | OpenAIRE |
Externí odkaz: |