Filters








1,333 Hits in 3.2 sec

Transient analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions

Christoph Lindemann, Axel Thümmler
1999 Performance evaluation (Print)  
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with exponential and deterministic  ...  Due to the exploitation of these properties, the GSSMC approach shows great promise for being effectively applicable for the transient analysis of large DSPNs with concurrent deterministic transitions.  ...  He served on the program committees of various well-known international conferences and he was the program committee co-chair of the 6th International Workshop on Petri Nets and Performance Models, 1995  ... 
doi:10.1016/s0166-5316(99)00020-6 fatcat:j5gndxgyhba3xaej3alejeo2oi

Approximate transient analysis for subclasses of deterministic and stochastic Petri nets

Gianfranco Ciardo, Guangzhi Li
1999 Performance evaluation (Print)  
Transient analysis of non-Markovian Stochastic Petri nets is a theoretically interesting and practically important problem.  ...  In this paper, we first present a method to compute bounds and an approximation on the average state sojourn times for a subclass of deterministic and stochastic Petri nets (DSPNs) where there is a single  ...  Acknowledgments We sincerely thanks the anonymous referees whose careful reading and helpful suggestions allowed us to improve this paper.  ... 
doi:10.1016/s0166-5316(99)00007-3 fatcat:fefamcuvwbbtpid5epnmphpsrq

An efficient algorithm for the transient analysis of a class of deterministic stochastic Petri nets

M. Gribaudo, M. Sereno
2004 International Conference on Dependable Systems and Networks, 2004  
In this paper a new algorithm for the transient solution of a sub-class of Deterministic Stochastic Petri Nets (DSPN) is proposed.  ...  The technique can be applied to DSPNs comprising only deterministic and immediate transitions and such that in each tangible marking only one deterministic transition is enabled.  ...  Deterministic and Stochastic Petri Nets (DSPNs) introduced in [1] are a stochastic formalism which include both exponentially and deterministic delays.  ... 
doi:10.1109/dsn.2004.1311954 dblp:conf/dsn/GribaudoS04 fatcat:wc7hgvbrkbbxlpohmdbk5ejl4e

Efficient approximate transient analysis for a class of deterministic and stochastic Petri nets

G. Ciardo, Guangzhi Li
Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248)  
Transient analysis of non-Markovian Stochastic Petri nets is a theoretically interesting and practically important problem.  ...  We present a new method to compute bounds and an approximation on the average state sojourn times for a special class of deterministic and stochastic Petri nets (DSPNs).  ...  We believe that the idea of using CTMC techniques to compute approximate or exact transient measures on a DSPN is very promising, and that our contribution is just a step in this direction.  ... 
doi:10.1109/ipds.1998.707707 fatcat:pii2mbzsczbttfj66pyy42qmua

Quantitative system evaluation with DSPNexpress 2000

Christoph Lindemann, Axel Thümmler, Alexander Klemm, Marco Lohmann, Oliver P. Waldhorst
2000 Proceedings of the second international workshop on Software and performance - WOSP '00  
The unique feature of DSPNexpress constitute numerical solvers for transient and steady-state analysis of generalized-semi Markov processes with exponential and deterministic events, which may be concurrently  ...  Keywords Performance evaluation methods, tools, and frameworks, quantitative evaluation of UML specifications, and Petri nets, numerical techniques for the analysis of discrete-event systems.  ...  of deterministic and stochastic Petri nets (DSPNs, [1] ) without concurrent deterministic transitions [6] , [7] .  ... 
doi:10.1145/350391.350396 dblp:conf/wosp/LindemannTKLW00 fatcat:jxvya73nbner7ic7trfolfu36q

Guest Editorial Introduction to the Special Section

G. Chiola, W.H. Sanders
1999 IEEE Transactions on Software Engineering  
transient behavior of deterministic and stochastic Petri nets (DSPNs).  ...  for transient and steady-state analysis of systems represented as DSPNs.  ... 
doi:10.1109/tse.1999.761441 fatcat:fzp3sir64rfslgoycwuk3sllna

MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets

José M. Martínez, Boudewijn R. Haverkort
2006 Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)  
Deterministic and Stochastic Petri Nets (DSPNs) are a widely used high-level formalism for modeling discreteevent systems where events may occur either without consuming time, after a deterministic time  ...  Furthermore, as a consequence of the type of process underlying DSPNs (a superset of Markovian processes), we are also able to check CSL properties of Generalized Stochastic Petri Nets (GSPNs) and labeled  ...  RRG is the set of functions that generate the reduced reachability graph (RRG) of a Petri net. The exploration of states is carried out through a breadth-first-search algorithm.  ... 
doi:10.1109/qest.2006.29 dblp:conf/qest/MartinezH06 fatcat:zfujubsjhfe4fe4az3sbypemoe

Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models

Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2011 2011 Eighth International Conference on Quantitative Evaluation of SysTems  
Sirio is a framework for simulation and symbolic analysis of preemptive and stochastic extensions of Time Petri Nets (TPNs), enabling an integrated approach to correctness verification and quantitative  ...  In particular, it supports evaluation of transient and steadystate reward measures, both through simulation and analysis.  ...  analysis of real-time systems running under priority preemptive scheduling; stochastic Time Petri Nets (sTPNs) [17] , [11] , [15] , which enable derivation of steady-state and transient probabilities  ... 
doi:10.1109/qest.2011.29 dblp:conf/qest/CarnevaliRV11 fatcat:ocbcvsbkebftfctihkar2bvrra

Modeling and Evaluation of Stochastic Petri Nets With TimeNET 4.1

Armin Zimmermann
2012 Proceedings of the 6th International Conference on Performance Evaluation Methodologies and Tools  
Among its main characteristics are simulation and analysis modules for stationary and transient evaluation of Petri nets including nonexponentially distributed delays, as well as an efficient simulation  ...  The paper presents a major update of the software tool TimeNET, a package for the modeling and performance evaluation of standard and colored stochastic Petri nets.  ...  The author wishes to thank the numerous colleagues and students who have actively contributed to the development of TimeNET over the years.  ... 
doi:10.4108/valuetools.2012.250263 dblp:conf/valuetools/Zimmermann12 fatcat:jajtnhnb6vefpkdkmitelr6liy

Performance Modeling with Deterministic and Stochastic Petri Nets

Gianfranco Balbo
2000 Science of Computer Programming  
a very speciÿc class of stochastic Petri nets.  ...  Deterministic stochastic Petri nets (DSPNs) are presented as extensions of generalized stochastic Petri nets (GSPNs) that have received in the last 15 years considerable attention from performance evaluation  ...  E cient formulas are discussed for the transient analysis of subordinated Markov chains, both in the case of marking independent and marking dependent ÿring delays of deterministic transitions.  ... 
doi:10.1016/s0167-6423(99)00042-8 fatcat:5u4ggwk44ngmtpun2f7y75zfam

A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models [chapter]

Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2011 Lecture Notes in Computer Science  
Sirio is a framework for simulation and analysis of various timed extensions of Petri Nets, supporting correctness verification and quantitative evaluation of timed concurrent systems.  ...  As a characterizing trait, Sirio is expressly designed to support reuse and to facilitate extensions such as the definition of new reward measures, new variants of the analysis, and new models with a different  ...  TimeNet [35] mainly supports modeling and evaluation of extended Deterministic Stochastic Petri Nets (eDSNPs), which include transitions with either immediate, deterministic, exponentially distributed  ... 
doi:10.1007/978-3-642-24270-0_30 fatcat:uffiwa43zzb3ljn4gfgffm64ne

MARCIE – Model Checking and Reachability Analysis Done Efficiently [chapter]

Monika Heiner, Christian Rohr, Martin Schwarick
2013 Lecture Notes in Computer Science  
(BTU Cottbus) Petri Nets 2013 Milano, June 26, 2013 Continuous Stochastic Logic (CSL) stochastic extension of CTL P •p replaces E and A operator S •p to reason about steady state behaviour  ...  (BTU Cottbus) Petri Nets 2013 Milano, June 26, 2013 Approximative CTMC Engine combines BFS explicit state space construction & transient analysis using adaptive uniformization prune states with  ... 
doi:10.1007/978-3-642-38697-8_21 fatcat:kaqhaswm6jctjcupfxrffvv7fi

A comparative study of stochastic analysis techniques

Monika Heiner, Christian Rohr, Martin Schwarick, Stefan Streif
2010 Proceedings of the 8th International Conference on Computational Methods in Systems Biology - CMSB '10  
body of Petri net theory.  ...  For modelling we use extended stochastic Petri nets, which allows us to take advantage of structural information and to complement the stochastic analyses by qualitative analyses, belonging to the standard  ...  We would like to thank Verena Wolf for fruitful discussions and for the support in Snoopy's FAU implementation, and Thomas Meier for implementing Snoopy's parallel simulation engine.  ... 
doi:10.1145/1839764.1839776 dblp:conf/cmsb/HeinerRSS10 fatcat:hlzdpikfhrf2jhzgtfmwoqzdwq

Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers

Andr´s Horv´th, Marco Paolieri, Lorenzo Ridi, Enrico Vicario
2011 2011 Eighth International Conference on Quantitative Evaluation of SysTems  
We show how transient stochastic state classes can be used to perform bounded probabilistic model checking also for models with underlying GSMPs, and we characterize the conditions for termination of the  ...  We also show how the number of classes enumerated to complete the analysis can be largely reduced through a look-ahead in the non-deterministic state class graph of reachable DBM zones.  ...  The rest of the paper is organized as follows. In Sects. II-III, we recall the definition of stochastic Time Petri Nets and the concepts of their analysis through transient stochastic classes.  ... 
doi:10.1109/qest.2011.23 dblp:conf/qest/HorvathPRV11 fatcat:hqi5sb4qkbgw7p7dxin4z6cyoy

MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly

Martin Schwarick, Monika Heiner, Christian Rohr
2011 2011 Eighth International Conference on Quantitative Evaluation of SysTems  
(BTU Cottbus) Petri Nets 2013 Milano, June 26, 2013 Continuous Stochastic Logic (CSL) stochastic extension of CTL P •p replaces E and A operator S •p to reason about steady state behaviour  ...  (BTU Cottbus) Petri Nets 2013 Milano, June 26, 2013 Approximative CTMC Engine combines BFS explicit state space construction & transient analysis using adaptive uniformization prune states with  ... 
doi:10.1109/qest.2011.19 dblp:conf/qest/SchwarickHR11 fatcat:4tlk7yjbwfgm7nxztutgfdmrg4
« Previous Showing results 1 — 15 out of 1,333 results