Wiki
Clone wikiGSPN benchmark / Net18
Message redundancy system
Subclass | n.Places, n.Transitions | Measure of interest | Transition of reference | Output parameter |
---|---|---|---|---|
FRT | (21,24) | throughput | ack | X(ack) |
Reference
L. Berardinelli, S.Bernardi, V. Cortellessa, J. Merseguer, UML profiles for non-functional properties at work: analyzing reliability, availability and performance, Second International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML), held within MODELS09, 4th October 2009, Denver (Colorado, USA).
Scaling parameters
Number of clients and network maximum capacity (initial marking of places upPDA,ClientThinking,MaxCap).
- No. of clients: 1, 10, 100
- Network capacity: 10, 100, 1000
Structural properties
- not all the places are covered by some P-invariant
- all the transitions are covered by some T-invariant
- deadlock-free
- not live
- the initial marking is not a home state
Updated