Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Solving large interval availability models using a model transformation approach
Computers and Operations Research
Implicit GSPN reachability set generation using decision diagrams
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
| Hi-index | 0.00 |