The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets
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 control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |