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 43 articles , 1 standard article )

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

1 2 3 next

  1. Yianni, Panayioti C.; Neves, Luis C.; Rama, Dovile; Andrews, John D.: Accelerating Petri-net simulations using NVIDIA graphics processing units (2018)
  2. Liu, Liya; Hasan, Osman; Tahar, Sofiène: Formal reasoning about finite-state discrete-time Markov chains in HOL (2013)
  3. Mishra, Kesari; Trivedi, Kishor S.: Closed-form approach for epistemic uncertainty propagation in analytic models (2013)
  4. Li, Yinan; Chen, Ing-Ray: Adaptive per-user per-object cache consistency management for mobile data access in wireless mesh networks (2011) ioport
  5. Xu, TianHua; Tang, Tao; Gao, ChunHai; Cai, BaiGen: Dependability analysis of the data communication system in train control system (2009)
  6. Li, Yajuan; Lin, Chuang; Li, Quan-Lin: A simplified framework for stochastic workflow networks (2008)
  7. Zimmermann, Armin: Stochastic discrete event systems. Modeling, evaluation, applications. (2008)
  8. Hrúz, Branislav; Zhou, Mengchu: Modeling and control of discrete-event dynamic systems with Petri nets and other tools. (2007)
  9. Temsamani, Jamal; Carrasco, Juan A.: Transient analysis of Markov models of fault-tolerant systems with deferred repair using split regenerative randomization (2006)
  10. Bell, Alexander; Haverkort, Boudewijn R.: Sequential and distributed model checking of Petri nets (2005) ioport
  11. Bell, Alexander; Haverkort, Boudewijn R.: Sequential and distributed model checking of Petri nets (2005) ioport
  12. Carrasco, Juan A.: Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization. (2003)
  13. Hermanns, Holger; Joubert, Christophe: A set of performance and dependability analysis components for CADP (2003)
  14. Gharbi, Nawel; Ioualalen, Malika: Performance analysis of retrial queueing systems using generalized stochastic Petri nets (2002)
  15. Le Ny, Louis-Marie; Tuffin, Bruno: Modeling and analysis of multi-class threshold-based queues with hysteresis using stochastic Petri nets (2002)
  16. Gomaa, Hassan; Menascé, Daniel A.: Performance engineering of component-based distributed software systems (2001)
  17. Haverkort, Boudewijn R.: Markovian models for performance and dependability evaluation (2001)
  18. Tuffin, Bruno; Chen, Dong S.; Trivedi, Kishor S.: Comparison of hybrid systems and fluid stochastic Petri nets (2001)
  19. Chen, Ing-Ray; Wang, Ding-Chau; Chu, Chih-Ping: Response time behavior of distributed voting algorithms for managing replicated data (2000)
  20. Hirel, Christophe; Tuffin, Bruno; Trivedi, Kishor S.: SPNP: Stochastic Petri Nets. Version 6. 0 (2000)

1 2 3 next