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 39 articles )

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

1 2 next

  1. Liu, Liya; Hasan, Osman; Tahar, Sofiène: Formal reasoning about finite-state discrete-time Markov chains in HOL (2013)
  2. Li, Yinan; Chen, Ing-Ray: Adaptive per-user per-object cache consistency management for mobile data access in wireless mesh networks (2011)
  3. Xu, TianHua; Tang, Tao; Gao, ChunHai; Cai, BaiGen: Dependability analysis of the data communication system in train control system (2009)
  4. Li, Yajuan; Lin, Chuang; Li, Quan-Lin: A simplified framework for stochastic workflow networks (2008)
  5. Zimmermann, Armin: Stochastic discrete event systems. Modeling, evaluation, applications. (2008)
  6. Hrúz, Branislav; Zhou, Mengchu: Modeling and control of discrete-event dynamic systems with Petri nets and other tools. (2007)
  7. Bell, Alexander; Haverkort, Boudewijn R.: Sequential and distributed model checking of Petri nets (2005)
  8. Bell, Alexander; Haverkort, Boudewijn R.: Sequential and distributed model checking of Petri nets (2005)
  9. Carrasco, Juan A.: Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization. (2003)
  10. Hermanns, Holger; Joubert, Christophe: A set of performance and dependability analysis components for CADP (2003)
  11. Bell, Alexander; Haverkort, Boudewijn R.: Sequential and distributed model checking of Petri net specifications. (2002)
  12. Gharbi, Nawel; Ioualalen, Malika: Performance analysis of retrial queueing systems using generalized stochastic Petri nets. (2002)
  13. Le Ny, Louis-Marie; Tuffin, Bruno: Modeling and analysis of multi-class threshold-based queues with hysteresis using stochastic Petri nets (2002)
  14. Gomaa, Hassan; Menascé, Daniel A.: Performance engineering of component-based distributed software systems (2001)
  15. Haverkort, Boudewijn R.: Markovian models for performance and dependability evaluation (2001)
  16. Tuffin, Bruno; Chen, Dong S.; Trivedi, Kishor S.: Comparison of hybrid systems and fluid stochastic Petri nets (2001)
  17. Hirel, Christophe; Tuffin, Bruno; Trivedi, Kishor S.: SPNP: Stochastic Petri Nets. Version 6. 0 (2000)
  18. King, Peter; Pooley, Rob: Derivation of Petri net performance models from UML specifications of communications software (2000)
  19. Tuffin, Bruno; Trivedi, Kishor S.: Implementation of importance splitting techniques in stochastic Petri net package (2000)
  20. Zimmermann, Armin; Freiheit, Jörn; German, Reinhard; Hommel, Günter: Petri net modelling and performability evaluation with TimeNET 3. 0 (2000)

1 2 next