On the Complexity of Some State-Counting Problems for Bounded Petri Nets.

Spyros A. Reveliotis

Published in: IEEE Trans. Autom. Control. (2015)

Keyphrases

petri net
discrete event systems
state space
service composition
concurrent systems
computational intelligence
learning objects
knowledge based systems
hardware and software
colored petri nets
petri net model
high level petri nets