1. Simona Bernardi Avatar Simona Bernardi
  2. GSPN benchmark
  3. GSPN benchmark

Wiki

Clone wiki

GSPN benchmark / Net32

View History

Example

Net32

Subclass n.Places, n.Transitions Measure of interest Transition of reference Output parameter
FRT (13,12) throughput T5 X(T5)

Reference

J. Campos, Performance Bounds for Synchronized Queueing Networks, PhD Thesis, Research Report GISI-RR-90-20, 1990.

Scaling parameter

Initial marking of places P1,P2,P10,P13

  • Values: P1: 8, 80, 800; P2: 10, 100, 1000; P10,P13: 1, 10, 100

Structural properties

  • all the places are covered by some P-invariant
  • structurally bounded
  • all the transitions are covered by some T-invariant
  • deadlock-free
  • live
  • the initial marking is a home state

Updated