Client/Server FIFO computer system analysis (sharpe software)

Type: GSPN Model SubModel: Name: clientserver Number of places: 0 Number of immediate trans: 0 Number of timed trans: 0 Number of arcs:33 Token displayed:false Place: Name: P0 Token: 0 X, Y: 244,204 Number of connected objects: 2 Dest: lambda2 Arc:arc3 Dest: t0 Arc:arc4 vInputArc: [arc1] vOutputArc: [arc2, arc3, arc4] Place label: X, Y: 253,236 Width, Height: 20,20 Textwidth: 0 Place: Name: P1 Token: 0 X, Y: 444,204 Number of connected objects: 2 Dest: t1 Arc:arc6 Dest: t0 Arc:arc8 vInputArc: [arc5] vOutputArc: [arc6, arc8] Place label: X, Y: 453,236 Width, Height: 20,20 Textwidth: 0 Place: Name: P2 Token: 0 X, Y: 644,204 Number of connected objects: 3 Dest: service2 Arc:arc11 Dest: service1 Arc:arc10 Dest: t1 Arc:arc9 vInputArc: [arc7, arc32] vOutputArc: [arc9, arc10, arc11] Place label: X, Y: 653,236 Width, Height: 20,20 Textwidth: 0 Place: Name: server Token: 3 X, Y: 964,164 Number of connected objects: 2 Dest: n2 Arc:arc31 Dest: n1 Arc:arc30 vInputArc: [arc12, arc13] vOutputArc: [arc30, arc31] Place label: X, Y: 963,196 Width, Height: 40,20 Textwidth: 0 Place: Name: P3 Token: 0 X, Y: 1204,164 Number of connected objects: 3 Dest: n2 Arc:arc28 Dest: n1 Arc:arc29 Dest: reply Arc:arc18 vInputArc: [arc16, arc17] vOutputArc: [arc18, arc28, arc29] Place label: X, Y: 1213,196 Width, Height: 20,20 Textwidth: 0 Place: Name: client Token: 1 X, Y: 564,444 Number of connected objects: 2 Dest: lambda2 Arc:arc20 Dest: lambda1 Arc:arc21 vInputArc: [arc19] vOutputArc: [arc20, arc21] Place label: X, Y: 566,476 Width, Height: 35,20 Textwidth: 0 Immediate: Name: t0 Width: 5 Height: 32 X, Y: 338,204 Number of connected objects: 1 Dest: P1 Arc:arc5 vInputArc: [arc4, arc8] vOutputArc: [arc5] Type Transition: Immediate Place Dependent: null Value Transition: 0.5 Transition label: X, Y: 334,236 Width, Height: 16,20 Textwidth: 0 Immediate: Name: t1 Width: 5 Height: 32 X, Y: 578,204 Number of connected objects: 1 Dest: P2 Arc:arc7 vInputArc: [arc6, arc9] vOutputArc: [arc7] Type Transition: Immediate Place Dependent: null Value Transition: 0.5 Transition label: X, Y: 574,236 Width, Height: 16,20 Textwidth: 0 Timed: Name: lambda1 Width: 14 Height: 32 X, Y: 93,124 Number of connected objects: 1 Dest: P2 Arc:arc32 vInputArc: [arc2, arc21] vOutputArc: [arc32] Type Transition: Timed Place Dependent: null Value Transition: 0.238 Transition label: X, Y: 91,156 Width, Height: 52,20 Textwidth: 0 Timed: Name: lambda2 Width: 14 Height: 32 X, Y: 93,324 Number of connected objects: 1 Dest: P0 Arc:arc1 vInputArc: [arc3, arc20] vOutputArc: [arc1] Type Transition: Timed Place Dependent: null Value Transition: 0.303 Transition label: X, Y: 91,356 Width, Height: 52,20 Textwidth: 0 Timed: Name: service1 Width: 14 Height: 32 X, Y: 813,124 Number of connected objects: 1 Dest: server Arc:arc12 vInputArc: [arc10] vOutputArc: [arc12] Type Transition: Timed Place Dependent: null Value Transition: 10 Transition label: X, Y: 811,156 Width, Height: 52,20 Textwidth: 0 Timed: Name: service2 Width: 14 Height: 32 X, Y: 813,244 Number of connected objects: 1 Dest: server Arc:arc13 vInputArc: [arc11] vOutputArc: [arc13] Type Transition: Timed Place Dependent: null Value Transition: 6.66 Transition label: X, Y: 811,276 Width, Height: 52,20 Textwidth: 0 Timed: Name: n1 Width: 14 Height: 32 X, Y: 1093,124 Number of connected objects: 1 Dest: P3 Arc:arc16 vInputArc: [arc29, arc30] vOutputArc: [arc16] Type Transition: Timed Place Dependent: null Value Transition: 0.5 Transition label: X, Y: 1091,156 Width, Height: 19,20 Textwidth: 0 Timed: Name: n2 Width: 14 Height: 32 X, Y: 1093,244 Number of connected objects: 1 Dest: P3 Arc:arc17 vInputArc: [arc28, arc31] vOutputArc: [arc17] Type Transition: Timed Place Dependent: null Value Transition: 0.33 Transition label: X, Y: 1091,276 Width, Height: 19,20 Textwidth: 0 Timed: Name: reply Width: 14 Height: 32 X, Y: 1213,404 Number of connected objects: 1 Dest: client Arc:arc19 vInputArc: [arc18] vOutputArc: [arc19] Type Transition: Timed Place Dependent: null Value Transition: 0.312 Transition label: X, Y: 1211,436 Width, Height: 33,20 Textwidth: 0 Arc: Name: arc1 X1, Y1, X2, Y2: 107,328,245,226 Type: Regular Multiplicity: 1 Src: lambda2 Dest: P0 ArcPoints: [java.awt.Point[x=107,y=328], java.awt.Point[x=245,y=226]] TypeIO: output Arc: Name: arc2 X1, Y1, X2, Y2: 244,216,107,145 Type: Inhibitor Multiplicity: 1 Src: P0 Dest: lambda1 ArcPoints: [java.awt.Point[x=244,y=216], java.awt.Point[x=107,y=145]] Circle1, Circle2: 110,147 Arc: Name: arc3 X1, Y1, X2, Y2: 260,235,107,342 Type: Inhibitor Multiplicity: 1 Src: P0 Dest: lambda2 ArcPoints: [java.awt.Point[x=260,y=235], java.awt.Point[x=241,y=344], java.awt.Point[x=107,y=342]] Circle1, Circle2: 110,342 Arc: Name: arc4 X1, Y1, X2, Y2: 275,215,338,215 Type: Regular Multiplicity: 1 Src: P0 Dest: t0 ArcPoints: [java.awt.Point[x=275,y=215], java.awt.Point[x=338,y=215]] TypeIO: input Arc: Name: arc5 X1, Y1, X2, Y2: 343,215,444,216 Type: Regular Multiplicity: 1 Src: t0 Dest: P1 ArcPoints: [java.awt.Point[x=343,y=215], java.awt.Point[x=444,y=216]] TypeIO: output Arc: Name: arc6 X1, Y1, X2, Y2: 475,216,578,216 Type: Regular Multiplicity: 1 Src: P1 Dest: t1 ArcPoints: [java.awt.Point[x=475,y=216], java.awt.Point[x=578,y=216]] TypeIO: input Arc: Name: arc7 X1, Y1, X2, Y2: 583,214,644,215 Type: Regular Multiplicity: 1 Src: t1 Dest: P2 ArcPoints: [java.awt.Point[x=583,y=214], java.awt.Point[x=644,y=215]] TypeIO: output Arc: Name: arc8 X1, Y1, X2, Y2: 444,225,343,222 Type: Inhibitor Multiplicity: 1 Src: P1 Dest: t0 ArcPoints: [java.awt.Point[x=444,y=225], java.awt.Point[x=343,y=222]] Circle1, Circle2: 346,221 Arc: Name: arc9 X1, Y1, X2, Y2: 645,227,583,221 Type: Inhibitor Multiplicity: 1 Src: P2 Dest: t1 ArcPoints: [java.awt.Point[x=645,y=227], java.awt.Point[x=583,y=221]] Circle1, Circle2: 586,220 Arc: Name: arc10 X1, Y1, X2, Y2: 672,210,813,138 Type: Regular Multiplicity: 1 Src: P2 Dest: service1 ArcPoints: [java.awt.Point[x=672,y=210], java.awt.Point[x=813,y=138]] TypeIO: input Arc: Name: arc11 X1, Y1, X2, Y2: 675,220,813,254 Type: Regular Multiplicity: 1 Src: P2 Dest: service2 ArcPoints: [java.awt.Point[x=675,y=220], java.awt.Point[x=813,y=254]] TypeIO: input Arc: Name: arc12 X1, Y1, X2, Y2: 827,137,965,173 Type: Regular Multiplicity: 1 Src: service1 Dest: server ArcPoints: [java.awt.Point[x=827,y=137], java.awt.Point[x=965,y=173]] TypeIO: output Arc: Name: arc13 X1, Y1, X2, Y2: 827,250,964,184 Type: Regular Multiplicity: 1 Src: service2 Dest: server ArcPoints: [java.awt.Point[x=827,y=250], java.awt.Point[x=964,y=184]] TypeIO: output Arc: Name: arc16 X1, Y1, X2, Y2: 1107,137,1206,171 Type: Regular Multiplicity: 1 Src: n1 Dest: P3 ArcPoints: [java.awt.Point[x=1107,y=137], java.awt.Point[x=1206,y=171]] TypeIO: output Arc: Name: arc17 X1, Y1, X2, Y2: 1107,248,1205,185 Type: Regular Multiplicity: 1 Src: n2 Dest: P3 ArcPoints: [java.awt.Point[x=1107,y=248], java.awt.Point[x=1205,y=185]] TypeIO: output Arc: Name: arc18 X1, Y1, X2, Y2: 1222,195,1221,404 Type: Regular Multiplicity: 1 Src: P3 Dest: reply ArcPoints: [java.awt.Point[x=1222,y=195], java.awt.Point[x=1221,y=404]] TypeIO: input Arc: Name: arc19 X1, Y1, X2, Y2: 1213,422,595,461 Type: Regular Multiplicity: 1 Src: reply Dest: client ArcPoints: [java.awt.Point[x=1213,y=422], java.awt.Point[x=595,y=461]] TypeIO: output Arc: Name: arc20 X1, Y1, X2, Y2: 564,458,107,344 Type: Regular Multiplicity: 1 Src: client Dest: lambda2 ArcPoints: [java.awt.Point[x=564,y=458], java.awt.Point[x=107,y=344]] TypeIO: input Arc: Name: arc21 X1, Y1, X2, Y2: 564,460,94,154 Type: Regular Multiplicity: 1 Src: client Dest: lambda1 ArcPoints: [java.awt.Point[x=564,y=460], java.awt.Point[x=49,y=399], java.awt.Point[x=94,y=154]] TypeIO: input Arc: Name: arc28 X1, Y1, X2, Y2: 1210,192,1107,256 Type: Inhibitor Multiplicity: 1 Src: P3 Dest: n2 ArcPoints: [java.awt.Point[x=1210,y=192], java.awt.Point[x=1107,y=256]] Circle1, Circle2: 1109,253 Arc: Name: arc29 X1, Y1, X2, Y2: 1204,179,1107,144 Type: Inhibitor Multiplicity: 1 Src: P3 Dest: n1 ArcPoints: [java.awt.Point[x=1204,y=179], java.awt.Point[x=1107,y=144]] Circle1, Circle2: 1110,145 Arc: Name: arc30 X1, Y1, X2, Y2: 993,171,1093,138 Type: Regular Multiplicity: 1 Src: server Dest: n1 ArcPoints: [java.awt.Point[x=993,y=171], java.awt.Point[x=1093,y=138]] TypeIO: input Arc: Name: arc31 X1, Y1, X2, Y2: 994,186,1093,251 Type: Regular Multiplicity: 1 Src: server Dest: n2 ArcPoints: [java.awt.Point[x=994,y=186], java.awt.Point[x=1093,y=251]] TypeIO: input Arc: Name: arc32 X1, Y1, X2, Y2: 107,138,644,214 Type: Regular Multiplicity: 1 Src: lambda1 Dest: P2 ArcPoints: [java.awt.Point[x=107,y=138], java.awt.Point[x=644,y=214]] TypeIO: output Output: Outputs created: 2 Output name: Steady-state throughput for a transition Time: null State: t0 Grid values: 0 Output name: Steady-state utilization for a transition Time: null State: t0 Grid values: 0