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

Wiki

Clone wiki

GSPN benchmark / Net49

View History

Biomart Emboss workflow

Net49

Subclass n.Places, n.Transitions Measure of interest Transition of reference Output parameter
FC (27,33) throughput FIL X(FIL)

Reference

D. Perez-Palacin, J. Merseguer, S. Bernardi, Performance Aware Self-managed software: evaluation using Petri Nets Technical report, 2013.

Scaling parameter

Initial marking of place start

  • Values: 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