Pattern-type Reachability Analysis of Distributed Systems Based on Fractal Petri Nets.
Alexander SemenovPublished in: CoDIT (2018)
Keyphrases
- distributed systems
- petri net
- reachability analysis
- concurrent systems
- fault tolerant
- manufacturing systems
- petri net model
- load balancing
- model checking
- discrete event systems
- distributed environment
- fuzzy petri net
- markov decision processes
- service composition
- geographically distributed
- colored petri nets
- mobile agents
- software architecture
- distributed computing
- stochastic petri net
- distributed database systems
- data replication
- real time systems
- knowledge based systems