Sign in
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