Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach.
Shengru TuWei SunPublished in: SEKE (1992)
Keyphrases
- petri net
- static analysis
- linear programming
- dynamic analysis
- source code
- petri net model
- discrete event systems
- service composition
- fuzzy petri net
- symbolic execution
- colored petri nets
- regular expressions
- ims ld
- databases
- web service composition
- process model
- abstract interpretation
- objective function
- test suite
- fuzzy logic
- optimal solution
- stochastic petri net