On the validity of long-run estimation methods for discrete-event systems
ACM SIGMETRICS Performance Evaluation Review
Petri nets tools integration through Eclipse
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Simulation modeling for analysis
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Analysis of multi-agent activity using petri nets
Pattern Recognition
Information models for queueing system simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Resource sharing in performance models
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Simulation-based performance analysis of channel-based coordination models
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Fixed-delay events in generalized semi-Markov processes revisited
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Formalization of finite-state discrete-time Markov chains in HOL
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Review: Certification-based trust models in mobile ad hoc networks: A survey and taxonomy
Journal of Network and Computer Applications
Time Distribution in Structural Workflow Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
Fundamenta Informaticae
On simulation of non-Markovian stochastic Petri nets with heavy-tailed firing times
Proceedings of the Winter Simulation Conference
Investigating coupling patterns in state-space models for system reliability
Proceedings of the Winter Simulation Conference
Journal of Electronic Testing: Theory and Applications
On time-average limits in deterministic and stochastic petri nets
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
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.00 |
Written by a leading researcher this book presents an introduction to Stochastic Petri Nets covering the modeling power of the proposed SPN model, the stability conditions and the simulation methods. Its unique and well-written approach provides a timely and important addition to the literature. Appeals to a wide range of researchers in engineering, computer science, mathematics and OR.