Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets.
Guy JuanoleLaurent GallonPublished in: FORTE (1995)
Keyphrases
- distributed systems
- timed petri nets
- qualitative and quantitative analysis
- discrete event systems
- quantitative analysis
- fault tolerant
- distributed environment
- mathematical modeling
- dynamical systems
- geographically distributed
- message passing
- load balancing
- petri net
- discrete event
- distributed computing
- model based diagnosis
- distributed database systems
- fault tolerance
- mobile agents
- complex systems
- mobile computing
- software development environments
- response time
- dynamic systems
- neural network
- model checking
- mathematical model