On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets

Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures

IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)

Numerical Analysis of Superposed GSPNs

IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)

Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications

IEEE Transactions on Software Engineering

Transient Analysis of Superposed GSPNs

IEEE Transactions on Software Engineering

Integrating Synchronization with Priority into a Kronecker Representation

TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools

Schedulability analysis of multiprocessor real-time applications with stochastic task execution times

Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design

Numerical analysis of superposed GSPNs

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models

Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models

State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor

PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models

Implicit GSPN reachability set generation using decision diagrams

Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers