Filters








6 Hits in 3.0 sec

SPNP: Stochastic Petri Nets. Version 6.0 [chapter]

Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi
2000 Lecture Notes in Computer Science  
Introduction The Stochastic Petri Net Package SPNP 2 is a versatile modeling tool for solution of Stochastic Petri Net SPN models.  ...  iSPN 6.0 We h a ve developed an integrated environment for modeling using Stochastic Petri Nets, named iSPN.  ... 
doi:10.1007/3-540-46429-8_30 fatcat:7miid2vomfehhk35xcp5ulxwea

Temporal analysis of data flow control systems

Cinzia Bernardeschi, Andrea Bondavalli, Gyorgy Csertán, Istvan Majzik, Luca Simoncini
1998 Automatica  
A general framework for the indirect evaluation of the model is introduced, and a data ow network to timed Petri net transformation is de ned allowing the utilization of the automatic tools of Petri nets  ...  Simulations were performed using the SimNet Petri net simulator, while SPNP 23 accuracy is better than 10 ,10 has been used for the analytical solutions.  ...  In order to take advantage of the availability of automatic tools here we focus on the Deterministic and Stochastic Petri Nets DSPN, 24 , a subclass of TTPN.  ... 
doi:10.1016/s0005-1098(97)00176-3 fatcat:e5siyixdmbfuxbuviovbrbptbu

Uncertainty Analysis of the Remote Exploration and Experimentation System

Kesari Mishra, Kishor S. Trivedi, Raphael R. Some
2012 Journal of Spacecraft and Rockets  
S., “SPNP: Stochastic Petri Nets. Version 6.0,” Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, edited by B. R. Haverkort, H. C.  ...  Petri nets to capture large state space [5,8—12].  ... 
doi:10.2514/1.51380 fatcat:oqp6hdi5vbbgbbjlmocfbp32zm

Performance Prediction of Cloud-Based Big Data Applications

Danilo Ardagna, Enrico Barbierato, Athanasia Evangelinou, Eugenio Gianniti, Marco Gribaudo, Túlio B. M. Pinto, Anna Guimarães, Ana Paula Couto da Silva, Jussara M. Almeida
2018 Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering - ICPE '18  
Examples include the Stochastic Petri Net Package (SPNP, presented in [20] ) and GreatSPN [8] .  ...  , and Generalized Stochastic Petri nets.  ... 
doi:10.1145/3184407.3184420 dblp:conf/wosp/ArdagnaBEGGPGSA18 fatcat:c4xfnwy6bba77ek34m5mqn5sae

Page 1041 of Journal of Spacecraft and Rockets Vol. 49, Issue 6 [page]

Journal of Spacecraft and Rockets  
S., “SPNP: Stochastic Petri Nets. Version 6.0,” Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, edited by B. R. Haverkort, H. C.  ...  German, R., Performance Analysis of Communication Systems: Modeling with Non-Markovian Stochastic Petri Nets, Kluwer Academic, Norwell, MA, 2000.  ... 

Models, Methods and Tools for Availability Assessment of IT-Services and Business Processes

Nikola Milanovic, Technische Universität Berlin, Technische Universität Berlin, Volker Markl
2010
., Markov chains, Petri net) models, but qualitative models (e.g., maturity models such as ITIL or CobiT or standards such as ISO 27002 and ISO 12207) are also covered, albeit with limited scope as they  ...  foundation for stochastic Petri nets.  ...  The most commonly used method for analyzing stochastic and generalized stochastic Petri nets is generation and analysis of the stochastic process associated with the Petri net.  ... 
doi:10.14279/depositonce-2482 fatcat:qlumhihb3vgujcn472x2qgimua