SPNP: Stochastic Petri Nets. The Stochastic Petri Net Package (SPNP) [2] is a versatile modeling tool for solution of Stochastic Petri Net (SPN) models. The SPN models are described in the input language for SPNP called CSPL (C-based SPN Language) which is an extension of the C programming language [8] with additional constructs which facilitate easy description of SPN models. Moreover, if the user does not want to describe his model in CSPL, a Graphical User Interface (GUI) is available to specify all the characteristics as well as the parameters of the solution method chosen to solve the model.

References in zbMATH (referenced in 49 articles , 1 standard article )

Showing results 1 to 20 of 49.
Sorted by year (citations)

1 2 3 next

  1. Tarasyuk, Igor’ Valerievich: Performance evaluation in stochastic process algebra dtsdPBC (2021)
  2. Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian: Formal reliability analysis of redundancy architectures (2019)
  3. Yianni, Panayioti C.; Neves, Luis C.; Rama, Dovile; Andrews, John D.: Accelerating Petri-net simulations using NVIDIA graphics processing units (2018)
  4. Liu, Liya; Hasan, Osman; Tahar, Sofiène: Formal reasoning about finite-state discrete-time Markov chains in HOL (2013)
  5. Mishra, Kesari; Trivedi, Kishor S.: Closed-form approach for epistemic uncertainty propagation in analytic models (2013)
  6. Li, Yinan; Chen, Ing-Ray: Adaptive per-user per-object cache consistency management for mobile data access in wireless mesh networks (2011) ioport
  7. Xu, TianHua; Tang, Tao; Gao, ChunHai; Cai, BaiGen: Dependability analysis of the data communication system in train control system (2009)
  8. Li, Yajuan; Lin, Chuang; Li, Quan-Lin: A simplified framework for stochastic workflow networks (2008)
  9. Mura, Ivan; Csikász-Nagy, Attila: Stochastic Petri net extension of a yeast cell cycle model (2008)
  10. Zimmermann, Armin: Stochastic discrete event systems. Modeling, evaluation, applications. (2008)
  11. Hrúz, Branislav; Zhou, Mengchu: Modeling and control of discrete-event dynamic systems with Petri nets and other tools. (2007)
  12. Bolch, Gunter; Greiner, Stefan; de Meer, Hermann; Trivedi, Kishor S.: Queueing networks and Markov chains. Modeling and performance evaluation with computer science applications. (2006)
  13. Temsamani, Jamal; Carrasco, Juan A.: Transient analysis of Markov models of fault-tolerant systems with deferred repair using split regenerative randomization (2006)
  14. Bell, Alexander; Haverkort, Boudewijn R.: Sequential and distributed model checking of Petri nets (2005) ioport
  15. Bell, Alexander; Haverkort, Boudewijn R.: Sequential and distributed model checking of Petri nets (2005) ioport
  16. Carrasco, Juan A.: Transient analysis of large Markov models with absorbing states using regenerative randomization (2005)
  17. Carrasco, Juan A.: Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization. (2003)
  18. Hermanns, Holger; Joubert, Christophe: A set of performance and dependability analysis components for CADP (2003)
  19. Gharbi, Nawel; Ioualalen, Malika: Performance analysis of retrial queueing systems using generalized stochastic Petri nets (2002)
  20. Le Ny, Louis-Marie; Tuffin, Bruno: Modeling and analysis of multi-class threshold-based queues with hysteresis using stochastic Petri nets (2002)

1 2 3 next