Safety Verification of Software Using Structured Petri Nets.
Krzysztof SachaPublished in: SAFECOMP (1998)
Keyphrases
- petri net
- petri net model
- colored petri nets
- concurrent systems
- discrete event systems
- embedded real time systems
- software systems
- fuzzy petri net
- ims ld
- state machines
- manufacturing systems
- stochastic petri net
- service composition
- reactive systems
- software components
- model checking
- computer systems
- software development
- formal methods
- commercial software
- source code
- real time systems
- neural network
- data flow
- software architecture
- process model