Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri Nets.
Thomas HujsaJean-Marc DelosmeAlix Munier KordonPublished in: ACM Trans. Embed. Comput. Syst. (2014)
Keyphrases
- sufficient conditions
- petri net
- petri net model
- discrete event systems
- fuzzy petri net
- colored petri nets
- lyapunov function
- asymptotic stability
- manufacturing systems
- concurrent systems
- linear systems
- ims ld
- programmable logic controller
- equilibrium point
- service composition
- knowledge based systems
- fuzzy reasoning
- exponential stability
- efficiently computable
- model checking
- fuzzy logic
- stochastic petri net
- evolutionary algorithm