• home

• contact

• members

• teaching

• research

• publications

• software

• events

Polling Server System

Description - Model Specification - Analysis

---

Description

A polling server system modeled given in [ PCSC ], which is based on [ IT90 ].

---

Model specification

Snoopy - APNN* - Rewards

---

Snoopy model with five stations (N=5)

APNN* model for the SPN version (pollingN5.apnn,pollingN10.apnn,pollingN15.apnn,pollingN20.apnn)

---

---

Analysis

Reachability graph

N	states	state transitions
5	200	800
10	15,360	89,600
15	737,280	6,144,000
20	31,457,280	340,787,200
25	1,258,291,200	16,777,216,000

CSL formulas

Steady state probability that station 1 is waiting.

Transient probability that station 1 is waiting at time t.