Reachability in Some Classes of Acyclic Petri Nets.

Iain A. Stewart

Published in: Fundam. Informaticae (1995)

Keyphrases

petri net
petri net model
high level petri nets
manufacturing systems
discrete event systems
colored petri nets
fuzzy petri net
service composition
ims ld
neural network
process model
concurrent systems
state space
np hard
stochastic petri net
state machines
high dimensional