Stochastic Petri Nets: An Introduction to the Theory

Quantitative static analysis of distributed systems

Journal of Functional Programming

SimQPN: a tool and methodology for analyzing queueing Petri net models by means of simulation

Performance Evaluation

Three-valued abstraction for continuous-time Markov chains

CAV'07 Proceedings of the 19th international conference on Computer aided verification

Abstract interpretation for worst and average case analysis

Program analysis and compilation, theory and practice

Survey: Computational challenges in systems biology

Computer Science Review

Stochastic modeling and analysis using QPME: queueing petri net modeling environment v2.0

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets