Login / Signup
Liveness and duality in marked-graph-like predicate/transition nets.
Kurt Lautenbach
Anastasia Pagnoni
Published in:
European Workshop on Applications and Theory in Petri Nets (1984)
Keyphrases
</>
graph theory
random walk
graph structure
bipartite graph
directed graph
stable set
graph theoretic
graph representation
directed acyclic graph
connected components
structured data
dependency graph
neural network
first order logic
linear programming
graph mining
mobile robot
np hard