Keyphrases
- petri net
- test case generation
- test cases
- petri net model
- software testing
- object oriented systems
- test data generation
- discrete event systems
- manufacturing systems
- test suite
- ims ld
- stochastic petri net
- service composition
- fuzzy petri net
- colored petri nets
- static analysis
- concurrent systems
- low cost
- programmable logic controller
- simulated annealing algorithm
- training data
- object oriented