Hierarchically constructed Petri-nets and product-forms
Peter G. Harrison, Catalina M. Lladó · 2011
Stochastic Petri nets (SPNs) provide a convenient, diagrammatic description of concurrent systems, such as computer and communication networks, and can represent quantitative (or performance) aspects such as mean response times and probability of failure. Such models can be supported by performance