A Symbolic Reachability Graph for Coloured Petri Nets.

Giovanni Chiola Claude Dutheillet Giuliana Franceschinis Serge Haddad

Published in: Theor. Comput. Sci. (1997)

Keyphrases

coloured petri nets
graph representation
random walk
formal verification
directed graph
graph theory
graph model
graph theoretic
graph structure
graph databases
dependency graph
graph search
bipartite graph
state space
graph partitioning
decision trees
weighted graph
graph based algorithm
labeled graphs