Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets.
Lalit Kumar SinghGopika VinodAnil Kumar TripathiPublished in: ISSRE Workshops (2012)
Keyphrases
- petri net
- safety critical
- colored petri nets
- discrete event systems
- support systems
- formal methods
- stochastic petri net
- safety analysis
- embedded systems
- agent architecture
- fault tolerant
- knowledge based systems
- fuzzy petri net
- complex systems
- sequence diagrams
- management system
- expert systems
- artificial intelligence
- mobile agents
- computer systems
- intelligent systems
- computational intelligence
- petri net model