Modeling Safety-Critical Systems with Z and Petri Nets.
Monika HeinerMaritta HeiselPublished in: SAFECOMP (1999)
Keyphrases
- petri net
- safety critical
- discrete event systems
- colored petri nets
- safety analysis
- formal methods
- stochastic petri net
- embedded systems
- fault tolerant
- real time
- complex systems
- agent architecture
- support systems
- computer systems
- intelligent systems
- management system
- petri net model
- distributed systems
- artificial intelligence