ACM Transactions on Computer Systems (TOCS)
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
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
Petri nets with k simultaneously enabled generally distributed timed transitions
Performance Evaluation
Performability Modeling with UltraSAN
IEEE Software
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
International Workshop on Timed Petri Nets
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
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
IEEE Transactions on Software Engineering
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
A new approach to the evaluation of non markovian stochastic petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
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.00 |
In order to extend their applicability to more complex situations, in this paper we present a new approach for the analysis of non-Markovian Stochastic Petri Net (NMSPN) models, which is based on a discrete time approximation of the stochastic behavior of the marking process. The proposed approach, which resulted in a new modeling tool for the analysis of NMSPNs called WebSPN, allows to analyze a wider class of PN models with prd, prs and pri concurrently enabled generally distributed transitions. This implies the possibility of dealing with very complex systems with arbitrarily distributed events with very complex interrelations among each other. The adopted technique is described, an application example is solved and the results are carefully analyzed in order to demonstrate the validity of the proposed approach.