Finite Symbolic Reachability Graphs for High-Level Petri Nets.

Nabil Hameurlain Christophe Sibertin-Blanc

Published in: APSEC (1997)

Keyphrases

petri net
high level petri nets
symbolic representation
graph representation
state space
graph matching
graph theory
finite number
bipartite graph
directed graph
graph theoretic
transitive closure
high level
multimedia
graph databases
graph construction
symbolic description