WSC '94 Proceedings of the 26th conference on Winter simulation
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
IEEE Transactions on Software Engineering
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Lectures on formal methods and performance analysis
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions
IEEE Transactions on Software Engineering
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Iterative Analysis of Markov Regenerative Models
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
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
New Primitives for Interlaced Memory Policies in Markov Regenerative Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
A test suite for exposing design and implementation details in petri net simulators
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Parallel simulation of petri nets on desktop pc hardware
WSC '05 Proceedings of the 37th conference on Winter simulation
Improving the Efficiency of the Proxel Method by Using Individual Time Steps
ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Fluid models in performance analysis
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Fixed-delay events in generalized semi-Markov processes revisited
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
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
Transient analysis of non-Markovian models using stochastic state classes
Performance Evaluation
Hi-index | 0.00 |