A Sufficient Condition for Reachability in a General Petri Net.
Parthasarathy RamachandranManjunath KamathPublished in: Discret. Event Dyn. Syst. (2004)
Keyphrases
- sufficient conditions
- petri net
- petri net model
- web service composition
- linear complementarity problem
- special case
- efficiently computable
- colored petri nets
- service composition
- ims ld
- manufacturing systems
- uniform convergence
- exponential stability
- story generation
- genetic algorithm
- equilibrium point
- asymptotic stability
- lyapunov function
- state space
- knowledge base