Analyzing Safety and Fault Tolerance Using Time Petri Nets.
Nancy G. LevesonJanice L. StolzyPublished in: TAPSOFT, Vol.2 (1985)
Keyphrases
- fault tolerance
- petri net
- fault tolerant
- distributed systems
- petri net model
- load balancing
- response time
- discrete event systems
- distributed computing
- service composition
- replicated databases
- peer to peer
- fuzzy petri net
- group communication
- state machines
- colored petri nets
- concurrent systems
- failure recovery
- database replication
- mobile agents
- ims ld
- sequence diagrams
- programmable logic controller
- single point of failure
- fault management
- hardware and software
- sensor networks