Logo

examples

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

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

Nstatesstate transitions
24,60028,120
4454,4753,979,850
611,261,376115,708,992
8133,865,3251,507,898,700
101,005,927,20812,032,229,352

CSL formulas

Throughput of the system.
Transient probability to have N tokens on place x1.

the end

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy