Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
IEEE Transactions on Software Engineering
Implicit GSPN reachability set generation using decision diagrams
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
A new disk-based technique for solving the largeness problem of stochastic modeling formalisms
Journal of Systems and Software
The GreatSPN tool: recent enhancements
ACM SIGMETRICS Performance Evaluation Review
Hi-index | 0.00 |