Wiki
Clone wikiGSPN benchmark / Net46
Universal Control Hub
Subclass | n.Places, n.Transitions | Measure of interest | Transition of reference | Output parameter |
---|---|---|---|---|
monoT-semiflow | (21,16) | throughput | setvaTA | X(setvaTA) |
Reference
E. Gómez-Martínez, J. Merseguer. Performance modeling and analysis of the universal control hub, In Proc. of the 7th European performance engineering conference on Computer performance engineering, A. Aldini et al. editors, pp. 160-174, LNCS 6342, Springer Verlag, 2010.
Scaling parameter
Number of users (initial marking of places users,pui,puipm,puch,pta,ptarget*)
- Values: 1, 10, 100
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