ACM Transactions on Computer Systems (TOCS)
Petri nets: an introduction
Regenerative stochastic Petri nets
Performance Evaluation
Performance models of multiprocessor systems
Performance models of multiprocessor systems
Linear algebraic techniques for place/transition nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models
IEEE Transactions on Software Engineering
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Analysis of large stochastic petri net models
Analysis of large stochastic petri net models
Markovian Petri Nets protocols with product form solution
Performance Evaluation
Analysis of stochastic Petri nets by the method of supplementary variables
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
Markov regenerative stochastic Petri nets
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
Computer Networks and Systems: Queueing Theory and Performance Evaluation
Computer Networks and Systems: Queueing Theory and Performance Evaluation
Communication and Concurrency
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Modelling with Generalized Stochastic Petri Nets
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
Timed Places Petri Nets with Stochastic Representation of Place Time
International Workshop on Timed Petri Nets
A Generalized Timed Petri Net Model for Performance Analysis
International Workshop on Timed Petri Nets
Regenerative Simulation of Stochastic Petri Nets
International Workshop on Timed Petri Nets
On Stochastic High-Level Petri Nets
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Colored GSPN Models and Automatic Symmetry Detection
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Matrix Product Form Solution for Closed Synchronized Queuing Networks
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
The Cost of Eliminating Vanishing Markings from Generalized Stochastic Petri Nets
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Use of Petri Nets for Performance Evaluation
Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
On Petri nets with deterministic and exponentially distributed firing times
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Transient Analysis of Deterministic and Stochastic Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Hierarchical High Level Petri Nets for Complex System Analysis
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Stochastic Activity Networks: Structure, Behavior, and Application
International Workshop on Timed Petri Nets
Timed Petri nets and preliminary performance evaluation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Induction for positive almost sure termination
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Modeling and evaluation of supply chains with GSPN components
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Evaluation of Critical Infrastructures: Challenges and Viable Approaches
Architecting Dependable Systems V
A simplified framework for stochastic workflow networks
Computers & Mathematics with Applications
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Performability evaluation of EFT systems using expolinomial stochastic models
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Rewriting logic and probabilities
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Quantifying the sustainability impact of data center availability
ACM SIGMETRICS Performance Evaluation Review
Abstract interpretation for worst and average case analysis
Program analysis and compilation, theory and practice
Automatic modeling for performance evaluation of inventory and outbound distribution
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Towards the Evaluation of Environment and Business Trade-offs in Supply Chains
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance modeling and analysis for resource scheduling in data grids
NPC'05 Proceedings of the 2005 IFIP international conference on Network and Parallel Computing
A modular approach for model-based dependability evaluation of a class of systems
ISAS'04 Proceedings of the First international conference on Service Availability
Proving positive almost sure termination under strategies
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Visualisation for stochastic process algebras: the graphic truth
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.01 |
Stochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their performance and reliability evaluation. The automatic construction of the probabilistic models that underly the dynamic behaviours of these nets rely on a set of results that derive from the theory of untimed Petri nets. The paper introduces the basic motivations for modelling DEDS and briefly overviews the basic results of net theory that are useful for the definition of Stochastic Petri Nets and Generalized Stochastic Petri Nets. The different approaches that have been used for introducing the concept of time in these models are discussed in order to provide the basis for the definition of SPNs and GSPNs as well. Details on the solution techniques and on their computational aspects are provided. A brief overview of more advanced material is included at the end of the paper to highlight the state of the art in this field and to give pointers to relevant results published in the literature.