ACM Transactions on Computer Systems (TOCS)
Petri nets: an introduction
Regenerative stochastic Petri nets
Performance Evaluation
Communication and concurrency
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
On the solution of GSPN reward models
Performance Evaluation
Markovian Petri Nets protocols with product form solution
Performance Evaluation
On the computation of performance characteristics of concurrent programs using GSPNs
Performance Evaluation - Special issue: performance modeling of parallel processing systems
Arrival theorems for product-form stochastic Petri nets
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Software architecture of the EPOCA integrated environment
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
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
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
Journal of the ACM (JACM)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
IEEE Transactions on Parallel and Distributed Systems
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
Regenerative Simulation of Stochastic Petri Nets
International Workshop on Timed Petri Nets
Toward a Definition of Modeling Power for Stochastic Petri Net Models
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
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
Reduced Base Model Construction Methods for Stochastic Activity 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
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
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
On the Product Form Solution for Stochastic Petri Nets
Proceedings of the 13th International Conference on Application 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
Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis
Proceedings of the 15th 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
Stochastic Petri nets: accomplishments and open problems
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
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
Annals of Software Engineering
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor
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
Performance evaluation of UML design with Stochastic Well-formed Nets
Journal of Systems and Software
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
| Hi-index | 0.00 |
Stochastic Petri nets (SPNs) are discussed from the point of view of the results that have contributed most to the dissemination of this formalism. The historical context in which SPN ideas have developed is briefly reviewed to recount the motivations that have driven this research field and to show how its success has been recognized by the scientific community. A few directions of research are discussed at the end of the paper to outline the open problems that still need to be solved to make this formalism useful for the analysis of real systems.