Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.
Spyros A. ReveliotisJin Young ChoiPublished in: ICATPN (2006)
Keyphrases
- petri net
- petri net model
- discrete event systems
- discrete dynamical systems
- manufacturing systems
- colored petri nets
- ims ld
- state machines
- neural network
- service composition
- stochastic petri net
- process model
- learning objects
- concurrent systems
- fixed parameter tractable
- fuzzy petri net
- programmable logic controller
- temporal logic
- high dimensional
- artificial intelligence