Stochastic Automata Networks
GPTKB entity
Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
formal semantics |
| gptkbp:abbreviation |
SAN
|
| gptkbp:analyzes |
Kronecker algebra
matrix-analytic methods |
| gptkbp:application |
distributed systems
communication protocols parallel systems |
| gptkbp:basedOn |
Markov processes
|
| gptkbp:feature |
modular structure
efficient numerical solution state space decomposition |
| gptkbp:hasComponent |
Technical Machine
global state local state synchronization event |
| https://www.w3.org/2000/01/rdf-schema#label |
Stochastic Automata Networks
|
| gptkbp:introduced |
G. Ciardo
|
| gptkbp:introducedIn |
1989
|
| gptkbp:relatedTo |
gptkb:Petri_nets
queueing networks |
| gptkbp:usedIn |
telecommunications
manufacturing systems performance evaluation computer systems modeling |
| gptkbp:bfsParent |
gptkb:UltraSAN_modeling_tool
|
| gptkbp:bfsLayer |
7
|