Discrete Time Stochastic Petri Nets
IEEE Transactions on Software Engineering
Regenerative stochastic Petri nets
Performance Evaluation
A Generalized Timed Petri Net Model for Performance Analysis
IEEE Transactions on Software Engineering
Numerical transient analysis of Markov models
Computers and Operations Research
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Numerical recipes in C (2nd ed.): the art of scientific computing
Numerical recipes in C (2nd ed.): the art of scientific computing
Analysis of stochastic Petri nets by the method of supplementary variables
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
Markov regenerative stochastic Petri nets
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
Performance Evaluation - Special issue: 6th international conference on modelling techniques and tools for computer performance evaluation
TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
Modeling and analysis of stochastic systems
Modeling and analysis of stochastic systems
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
International Workshop on Timed Petri Nets
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
Markov Regenerative Stochastic Petri Nets with Age Type General Transitions
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Transient Analysis of Deterministic and Stochastic Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Steady State Analysis of Markov Regenerative SPN with Age Memory Policy
MMB '95 Proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation: Quantitative Evaluation of Computing and Communication Systems
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Well-defined stochastic Petri nets
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Steady State Solution of MRSPN with Mixed Preemption Policies
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
New results for the analysis of deterministic and stochastic Petri nets
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
Markov regenerative SPN with non-overlapping activity cycles
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability
IEEE Transactions on Computers
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions
IEEE Transactions on Software Engineering
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
The scale factor: a new degree of freedom in phase-type approximation
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
IEEE/ACM Transactions on Networking (TON)
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Mobile-to-Grid middleware: bridging the gap between mobile and grid environments
EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing
Non-markovian analysis for model driven engineering of real-time software
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
| Hi-index | 0.01 |
Petri nets represent a useful tool for performance, dependability, and performability analysis of complex systems. Their modeling power can be increased even more if nonexponentially distributed events are considered. However, the inclusion of nonexponential distributions destroys the memoryless property and requires to specify how the marking process is conditioned upon its past history. In this paper, we consider, in particular, the class of stochastic Petri nets whose marking process can be mapped into a Markov regenerative process. An adequate mathematical framework is developed to deal with the considered class of Markov Regenerative Stochastic Petri Nets (MRSPN). An unified approach for the solution of MRSPNs where different preemption policies can be defined in the same model is presented. The solution is provided both in steady-state and in transient condition. An example concludes the paper.