Communication and concurrency
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector
IEEE Transactions on Software Engineering
A decomposition approach for stochastic reward net models
Performance Evaluation
Modelling with Generalized Stochastic Petri Nets
Modelling with Generalized Stochastic Petri Nets
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
A Notion of Equivalence for Stochastic Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
On the Product Form Solution for Stochastic Petri Nets
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Stochastic Petri net semantics for stochastic process algebras
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
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)
Annals of Software Engineering
A Methodology for the Formal Analysis of Asynchronous Micropipelines
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
PEPA Nets: A Structured Performance Modelling Formalism
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Throughput Approximation of Decision Free Processes Using Decomposition
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
PEPA nets: a structured performance modelling formalism
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
BPMN: how much does it cost? an incremental approach
BPM'07 Proceedings of the 5th international conference on Business process management
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
End-to-end integrated security and performance analysis on the DEGAS choreographer platform
FM'05 Proceedings of the 2005 international conference on Formal Methods
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Hi-index | 0.00 |
Generalized stochastic Petri nets (GSPN) and performance evaluation process algebra (PEPA) can both be used to study qualitative and quantitative behaviour of systems in a single environment. The paper presents a comparison of the two formalisms in terms of the facilities that they provide to the modeller; considering both the definition and the analysis of the performance model. Our goal is to provide a better understanding of both formalisms; and to prepare a fertile ground for exchanging ideas and techniques between the two. To illustrate similarities and differences, we make the different issues more concrete by means of an example modelling resource contention.