A Reachability Algorithm for General Petri Nets Based on Transition Invariants.

Alexander E. Kostin

Published in: MFCS (2006)

Keyphrases

petri net
dynamic programming
data analysis
state machines