A Comparison of the Expressiveness of SPA and Bounded SPN Models

Authors:
J. Hillston;L. Recalde;M. Silva;M. Ribaudo
Affiliations:
-;-;-;-
Venue:
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
Year:
2001

Citing 0
Cited 3

PEPA Nets: A Structured Performance Modelling Formalism

TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Structural analysis for stochastic process algebra models

AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
On fluidization of discrete event models: observation and control of continuous Petri nets

Discrete Event Dynamic Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Abstract: Petri nets and stochastic Petri nets have been widely adopted as one of the best tools to model the logical and timing behavior of discrete-state systems. However, their practical applicability is limited by the state-space explosion problem. ...