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