Wiki
Clone wikiGSPN benchmark / Net30
Producer-consumer model
Subclass | n.Places, n.Transitions | Measure of interest | Transition of reference | Output parameter |
---|---|---|---|---|
monoT-semiflow | (11,8) | producer throughput | E_prod | X(E_prod) |
Reference
J. Campos, Performance Bounds for Synchronized Queueing Networks, PhD Thesis, Research Report GISI-RR-90-20, 1990.
Scaling parameter
Number of producers, consumers, shared resources (initial marking of places wait_h,wait_p,s_r,parts).
- Values: wailt_h,wait_p,s_r: 1, 10, 100; parts: 4, 40, 400
Structural properties
- all the places are covered by some P-invariant
- structurally bounded
- all the transitions are covered by the T-invariant
- deadlock-free
- live
- the initial marking is a home state
Updated