Symbolic Execution of Concurrent Systems Using Petri Nets.
Carlo GhezziDino MandrioliSandro MorascaMauro PezzèPublished in: Comput. Lang. (1989)
Keyphrases
- concurrent systems
- petri net
- symbolic execution
- static analysis
- test generation
- test data generation
- source code
- specification language
- process algebra
- fuzzy petri net
- petri net model
- manufacturing systems
- discrete event systems
- ims ld
- data flow
- colored petri nets
- stochastic petri net
- service composition
- test cases
- programming language
- knowledge base
- artificial intelligence