ACM Transactions on Computer Systems (TOCS)
Petri nets: an introduction
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
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
On the solution of GSPN reward models
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
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
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
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
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
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
Markov Regenerative Stochastic Petri Nets with Age Type General Transitions
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
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
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Macro E-Nets for Representation of Parallel Systems
IEEE Transactions on Computers
Performance analysis modeling applied to business processes
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Concurrency and composition in a stochastic world
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
Survey: Computational challenges in systems biology
Computer Science Review
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Hi-index | 0.00 |
Generalized Stochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynamic Systems 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 briefly surveys some results of net theory together with the different approaches used to introduce the concept of time in these models that are useful for the definition of Stochastic Petri Nets and Generalized Stochastic Petri Nets. Details on the solution techniques and on their computational aspects are provided. A brief overview of 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.