Petri nets for modelling fault tolerant distibuted systems in a modular and incremental way.
Fiorella de CindioCarla SimonePublished in: ACM SIGOPS European Workshop (1990)
Keyphrases
- fault tolerant
- petri net
- distributed systems
- discrete event systems
- fault tolerance
- safety critical
- load balancing
- high assurance
- complex systems
- interconnection networks
- state machine
- state machines
- knowledge base
- concurrent systems
- embedded real time systems
- petri net model
- colored petri nets
- manufacturing systems
- metadata