Parameterized Reachability Trees for Predicate/Transition Nets.

Markus Lindquist

Published in: Applications and Theory of Petri Nets (1991)

Keyphrases

decision trees
first order logic
state space
data sets
binary trees
tree construction
tree structure
tree structures
labeled trees
unordered trees
transition model
transitive closure
search algorithm
data structure
reinforcement learning
training data
knowledge base