The novel algorithm for determining the reachability in acyclic Petri nets.

Alexander E. Kostin

Published in: SIGACT News (1997)

Keyphrases

petri net
np hard
dynamic programming
state space
complex systems
mathematical model
manufacturing systems
discrete event systems