Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
IEEE Transactions on Parallel and Distributed Systems
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms
IEEE Transactions on Software Engineering
Manual and Automatic Exploitation of Symmetries in SPN Models
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Design and validation of a message-passing system
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |