You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
15 years ago | |
|---|---|---|
| .. | ||
| .autopp | 18 years ago | |
| .pollN.sm.pp | 18 years ago | |
| README.txt | 15 years ago | |
| auto | 18 years ago | |
| poll.csl | 18 years ago | |
| poll2.sm | 18 years ago | |
| poll3.sm | 18 years ago | |
| poll4.sm | 18 years ago | |
| poll5.sm | 18 years ago | |
| poll6.sm | 18 years ago | |
| poll7.sm | 18 years ago | |
| poll8.sm | 18 years ago | |
| poll9.sm | 18 years ago | |
| poll10.sm | 18 years ago | |
| poll11.sm | 18 years ago | |
| poll12.sm | 18 years ago | |
| poll13.sm | 18 years ago | |
| poll14.sm | 18 years ago | |
| poll15.sm | 18 years ago | |
| poll16.sm | 18 years ago | |
| poll17.sm | 18 years ago | |
| poll18.sm | 18 years ago | |
| poll19.sm | 18 years ago | |
| poll20.sm | 18 years ago | |
README.txt
This case study is based on a cyclic server polling system, taken from [IT90].
For more information, see: http://www.prismmodelchecker.org/casestudies/polling.php
=====================================================================================
[IT90]
O. Ibe and K. Trivedi
Stochastic Petri Net Models of Polling Systems
In IEEE Journal on Selected Areas in Communications,8(9):1649-1657, 1990