Modeling of Safety-Critical Systems Using Petri Nets.
B. Esther SunandaP. SeetharamaiahPublished in: ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
- petri net
- safety critical
- discrete event systems
- colored petri nets
- embedded systems
- stochastic petri net
- formal methods
- safety analysis
- fault tolerant
- support systems
- petri net model
- complex systems
- management system
- learning systems
- service composition
- fuzzy petri net
- sequence diagrams
- agent architecture
- telecommunication networks
- model based diagnosis
- real time
- knowledge based systems
- distributed systems
- fuzzy logic
- information systems
- artificial intelligence