A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
SPNP: Stochastic Petri Nets. Version 6.0
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
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
1998
Automatica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Spacecraft and Rockets
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2018
Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering - ICPE '18
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2010
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
., 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