• home

• contact

• members

• teaching

• research

• publications

• software

• events

Kanban

Description - Model Specification - Analysis

---

Description

A model of a Kanban system published in [ CT96 ].

---

Model specification

Snoopy - APNN* - Rewards

---

Snoopy

APNN*

---

Reward structures [ PCSC ]

---

Analysis

Reachability Graph

N	states	state transitions
2	4,600	28,120
4	454,475	3,979,850
6	11,261,376	115,708,992
8	133,865,325	1,507,898,700
10	1,005,927,208	12,032,229,352

CSL formulas

Throughput of the system.

Transient probability to have N tokens on place x1.