Wiki
Clone wikiGSPN benchmark / Home
Introduction
This benchmark consists of a collection of 50 Generalized Stochastic Petri Nets (GSPN). Some of them are examples with no specific semantics, others instead model wellknown problems or case studies used in the literature.
The GSPN models belong to different structural Petri Net classes, i.e., monoTsemiflow, freechoice (FC), freely related Tsemiflow (FRT), deterministic systems of sequential processes (DSSP). Herein, there is a brief definition of such classes, that are related according to the Venn's diagram below:

monoTsemiflow: structurally bounded net with a unique minimal Tsemiflow that contains all the transitions of the net [CCSTSE91].

freechoice: ordinary net where when two transitions are in conflict then they have the same input set (that is are in freechoice conflict) [DE05].

freely related Tsemiflow: net where all the transitions belong to some Tsemiflow and the Tsemiflows are all freelyrelated [CS92].

deterministic systems of sequential processes: net consisting of sequential process nets state machines communicating through buffers [Souissi93].
There are also some GSPN models that do not belong to aforementioned classes, they will be classified general.
For all the GSPNs of the benchmark, one performance metric of interest is considered: a transition throughput, that for some GSPNs can be interpreted as system performance, finished tasks / products per time unit etc. in the modelled system context. The name of this reference transition t is then provided to estimate the metric X(t).
The benchmark can be used for different purposes:
 to assess the correctness or efficiency of new GSPN performance evaluation techniques
 to compare different GSPN performance evaluation techniques
##GSPN details This is the list of the GSPN models of the benchmark. Each model is classified according to the aforementioned PN subclasses to facilitate the selection of an appropriate subset. Indeed, the solution techniques to be assessed/compared may be sensitive to the type of model to be analyzed, then affecting the accuracy of the results; or they may not applicable at all (e.g., exhaustive reachability graphbased techniques cannot be applied to unbounded models).
Click on the links to see details about the GSPN models.
net  subclass  modeled system  reference 

net01  general  robot system  BCTII09 
net02  general  robot system  BCTII09 
net03  FRT  flexible manufacturing system  BCTII09 
net04  FRT  communication protocol  BCQEST04 
net05  monoTsemiflow  job shop  Campos90 
net06  monoTsemiflow  alternating bit protocol  Campos90 
net07  freechoice  flexible manufacturing system  PBENIDI09 
net08  FRT  complex system scenario   
net09  monoTsemiflow  computer assisted braking system  BCMTII11 
net10  monoTsemiflow  simple system scenario  BCMTII11 
net11  FRT  example  BBPNPM01 
net12  FC  example  Campos90 
net13  FC  example  Campos90 
net14  general  flexible manufacturing system  BMMNVTR15 
net15  FRT  ehealth system  BBCMTR10 
net16  general  gaspump system  BMJSS07 
net17  general  backbone distributed FT algorithm  BMIC06 
net18  general  message redundancy system  BBCMNFPinDSML09 
net19  FC  example  Campos90 
net20  FC  dataflow graph  Campos90 
net21  FC  example  Campos90 
net22  FC  example  Campos90 
net23  FC  example  Campos90 
net24  DSSP  example  Campos90 
net25  DSSP  example  Campos90 
net26  DSSP  example  Campos90 
net27  DSSP  example  Campos90 
net28  FC (EQ)  example  Campos90 
net29  monoTsemiflow  Ada tasking system  Campos90 
net30  monoTsemiflow  producerconsumer model  Campos90 
net31  monoTsemiflow  example  Campos90 
net32  FRT  example  Campos90 
net33  FRT  example  Campos90 
net34  FRT  software retrieval system (ecommerce)  MCMWINET03 
net35  monoTsemiflow  example  Campos90 
net36  FRT  example  Campos90 
net37  FRT  example  Campos90 
net38  FC  example  Campos90 
net39  FRT  example  Campos90 
net40  monoTsemiflow  Assembly line push strategy  Z08 
net41  monoTsemiflow  Assembly line ondemand strategy  Z08 
net42  monoTsemiflow  Assembly line Kanban strategy  Z08 
net43  FRT  flexible manufacturing cell  Z08 
net44  FRT  oil pipeline network  BCTSMC13 
net45  FRT  oil pipeline network under attack  BCTSMC13 
net46  monoTsemiflow  Universal Control Hub  GMEPEW10 
net47  monoTsemiflow  Webservice  GMISPA06 
net48  FRT  mobile agent application  GIMWOSP07 
net49  FC  Biomart Emboss workflow  PMBTR13 
net50  FRT  Clinical guideline  BACMM2H14 
##References
[BACMM2H14] S. Bernardi, J. Albareda, J.M. Colom, C. Mahulea, A modelbased approach for the specification and verification of clinical guidelines, In Proc. of the Workshop on models and methods for hospital management and planning, within the 19th IEEE International Conference on Emerging Technologies and Factory Automation, 16th19th September, 2014, Barcelona (Spain).
[BBPNPM01] S. Bernardi, G. Balbo, Concurrent Generalized Petri Nets: Regenerative Conditions, In IEEE Proc. of the 9th Int. Workshop on Petri Nets and Performance Models, pages 125134, Aachen (Germany), Sept. 2001, German, R. and Haverkort, B. eds.
[BBCMNFPinDSML09] L. Berardinelli, S.Bernardi, V. Cortellessa, J. Merseguer, UML profiles for nonfunctional properties at work: analyzing reliability, availability and performance, Second International Workshop on NonFunctional System Properties in Domain Specific Modeling Languages (NFPinDSML), held within MODELS09, 4th October 2009, Denver (Colorado, USA).
[BBCMTR10] L. Berardinelli, S. Bernardi, V. Cortellessa, J. Merseguer, The FaultErrorFailure chain: a challenge for modeling and analyzing performability in UMLbased software architectures, Technical report, 2010.
[BCQEST04] S. Bernardi, J. Campos, On Performance Bounds for Interval Time Petri Nets, In IEEE Proc. of the 1st International Conference on Quantitative Evaluation of Systems (QEST'04), pages 5059, Enschede (The Netherlands), September 2730, 2004.
[BCTII09] S. Bernardi, J. Campos, Computation of Performance Bounds for Realtime systems using Time Petri Nets, IEEE Transactions on Industrial Informatics, vol.5(2), pages 168180, May 2009.
[BCTSMC13] S. Bernardi, J. Campos, A minmax problem for the computation of the cycle time lower bound in intervalbased Time Petri Nets, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43(5), September 2013.
[BCMTII11] S. Bernardi, J. Campos, J. Merseguer, Timingfailure risk assessment of UML design using Time Petri Net bound techniques, IEEE Transaction on Industrial Informatics, vol. 7(no. 1), pp. 90104, Feb.2011.
[BMIC06] S. Bernardi, J. Merseguer, QoS Assessment via Stochastic Analysis, IEEE Internet Computing, 10(3): 3242 (2006).
[BMJSS07] S. Bernardi, J. Merseguer, Performance evaluation of UML design with Stochastic Wellformed Nets, Journal of Systems and Software, vol.80 (11): 18431865, November 2007.
[BMMNVTR15] S. Bernardi, S. Marrone, J. Merseguer, R. Nardone, V. Vittorini, Towards an MDE approach for NFPs assessment using multiformalism: an application to performability, Technical Report, 2015.
[Campos90] J. Campos, Performance Bounds for Synchronized Queueing Networks, PhD Thesis, Research Report GISIRR9020, 1990.
[CCSTSE91] J. Campos, G. Chiola, M. Silva, Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector, IEEE Transactions on Software Engineering, vol. 17, pp. 117125, 1991.
[CS92] J. Campos, M. Silva, Structural Techniques and Performance Bounds of Stochastic Petri Net Models, Advances in Petri Nets, LNCS vol. 609, Springer Verlag, pp. 352391, 1992.
[DE05] J. Desel, J. Esparza, Free Choice Petri Nets, Cambridge University Press, 2005.
[GIMWOSP07] E. GómezMartínez, S. Ilarri, J. Merseguer. Performance Analysis of Mobile Agent Tracking Approaches. In Proc. of the 7th International Workshop on Software and Performance (WOSP 2007), ACM, pp. 181188, 2007.
[GMEPEW10] ]E. GómezMartí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. 160174, LNCS 6342, Springer Verlag, 2010.
[GMISPA06] E. GómezMartínez, José Merseguer. Impact of SOAP Implementations in the Performance of a Web ServiceBased Application, In Proc. of the ISPA Workshops, pp. 884896, LNCS 4331, Springer Verlag, 2006.
[MCMWINET03] J. Merseguer, J. Campos, E. Mena. Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information, 9:223238, 2003.
[PBENIDI09] E. Pacini Naumovich, S. Bernardi, Modelado de Redes de Petri con Intervalos de Tiempo mediante la herramienta ITPNPerfBound. Proc. of V Encuentro de Investigadores y Docentes de Ingeniera (EnIDI'09), Los Reyunos, Mendoza (Argentina), 1214 November 2009. IEEE.
[PMBTR13] D. PerezPalacin, J. Merseguer, S. Bernardi, Performance Aware Selfmanaged software: evaluation using Petri Nets Technical report, University of Zaragoza, 2013.
[Souissi93] Y. Souissi, Deterministic systems of sequential processes: A class of structured Petri nets, Advances in Petri Nets, LNCS 674, pp.406426, 1993.
[Z08] A. Zimmermann, Stochastic Discrete Event Systems  modeling, evaluation, applications, New York, SpringerVerlag, 2008.
Updated