Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Structured Characterization of the Markov Chain of Phase-Type SPN
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
GSPN Semantics for Queueing Networks with Blocking
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Construction and stepwise refinement of dependability models
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Modeling and analyzing resource-constrained business processes
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
| Hi-index | 0.00 |