ACM Transactions on Computer Systems (TOCS)
Discrete Time Stochastic Petri Nets
IEEE Transactions on Software Engineering
Regenerative stochastic Petri nets
Performance Evaluation
A Generalized Timed Petri Net Model for Performance Analysis
IEEE Transactions on Software Engineering
Stochastic Petri Net Representation of Discrete Event Simulations
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
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
Performance Evaluation - Special issue: 6th international conference on modelling techniques and tools for computer performance evaluation
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
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
Stochastic Activity Networks: Structure, Behavior, and Application
International Workshop on Timed Petri Nets
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
A framework for rare event simulation of stochastic Petri nets using “RESTART”
WSC '96 Proceedings of the 28th conference on Winter simulation
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
IEEE Transactions on Software Engineering
Decomposition Analysis of Random Processes in Time Stochastic Petri Networks
Automation and Remote Control
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability
IEEE Transactions on Computers
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
IEEE Transactions on Software Engineering
Discrete Time Stochastic Petri Nets for the Modeling and Evaluation of Real-Time Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Iterative Analysis of Markov Regenerative Models
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Well-defined stochastic Petri nets
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
TiPNet: a graphical tool for timed Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Modeling a scalable high-speed interconnect with stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
New Primitives for Interlaced Memory Policies in Markov Regenerative Stochastic Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
The scale factor: a new degree of freedom in phase-type approximation
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Performance analysis of multistage interconnection networks with a new high-level net model
Journal of Systems Architecture: the EUROMICRO Journal
Logic and stochastic modeling with SMART
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Question answering based on semantic structures
COLING '04 Proceedings of the 20th international conference on Computational Linguistics
Predicting uncertain behavior of industrial system using FM-A practical case
Applied Soft Computing
Advanced features in SMART: the stochastic model checking analyzer for reliability and timing
ACM SIGMETRICS Performance Evaluation Review
Modeling networking issues of network-on-chip: a coloured petri nets approach
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Using stochastic petri nets for level-crossing collision risk assessment
IEEE Transactions on Intelligent Transportation Systems
Stochastic fault trees for cross-layer power management of WSN monitoring systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodes
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
Building distributed scalable dependable real-time systems
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
A framework for simulation and symbolic state space analysis of non-markovian models
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Transient analysis of non-Markovian models using stochastic state classes
Performance Evaluation
Transient analysis of networks of stochastic timed automata using stochastic state classes
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
| Hi-index | 0.01 |
Stochastic Petri nets (SPN's) with generally distributed firing times can model a large class of systems, but simulation is the only feasible approach for their solution. We explore a hierarchy of SPN classes where modeling power is reduced in exchange for an increasingly efficient solution. Generalized stochastic Petri nets (GSPN's), deterministic and stochastic Petri nets (DSPN's), semi-Markovian stochastic Petri nets (SM-SPN's), timed Petri nets (TPN's), and generalized timed Petri nets (GTPN's) are particular entries in our hierarchy. Additional classes of SPN's for which we show how to compute an analytical solution are obtained by the method of the embedded Markov chain (DSPN's are just one example in this class) and state discretization, which we apply not only to the continuous-time case (PH-type distributions), but also to the discrete case.