GSPN semantics for queueing networks with blocking.
Marco GribaudoMatteo SerenoPublished in: PNPM (1997)
Keyphrases
- queueing networks
- product form
- steady state
- heavy traffic
- long run
- queueing systems
- stationary distribution
- arrival rate
- queueing theory
- state dependent
- multiclass queueing networks
- single server
- formal semantics
- buffer allocation
- queue length
- logic programming
- fluid model
- distributed systems
- supply chain
- probability distribution
- machine learning