Stochastic Petri nets. Modelling, stability, simulation
continuous-time Markov chainmodelling powersemi-Markov processsimulationstabilitystandardized time seriesstochastic Petri nettime-average limit
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to operations research and mathematical programming (90-02) Production models (90B30)
This monograph studies Stochastic Petri Nets (shortly SPNs) that are a popular and useful tool for modelling and performance analysis of complex stochastic systems (serving as models for computers, manufacturings, telecommunications, workflows, transportation systems and so on). The behaviour of an SPN is described by a marking process. A wide variety of long-run performance measures can be represented as functions of time-average limits of the marking process. The conditions on SPN are derived under which the marking process is a continuous-time Markov chain or semi-Markov process and thus the analytic or numerical methods for a computation of time-average limits can be used. In a general case, simulation methods for marking processes based on the standardized time series are described. A substantial part of this book is focused on the modelling power of SPNs and modelling techniques for SPNs. It is shown that the modelling power of SPNs is equivalent to the modelling power of generalized semi-Markov processes. The delay in SPNs is investigated and the estimate methods for time-average limits of delay are developed. The last chapter introduces colored stochastic Petri nets. It is shown that all described methods for SPNs can be applied to colored SPNs.
- Structured construction and simulation of nondeterministic stochastic activity networks
- A new stochastic Petri net model and its applications to logistics systems
- Extended stochastic Petri net models for systems with parallel and cooperative motions
- Fluid stochastic Petri nets: Theory, applications, and solution techniques
- Blocking a transition in a free choice net and what it tells about its throughput.
- Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets
- Stochastic representations of ion channel kinetics and exact stochastic simulation of neuronal dynamics
- Sensitivity analysis and optimization of stochastic Petri nets
- Representation and analysis of behavior for multiprocess systems by using stochastic Petri nets
- Formal reasoning about finite-state discrete-time Markov chains in HOL
- State equations of stochastic timed Petri nets with informational relations
- True-concurrency probabilistic models: Markov nets and a law of large numbers
- Implementation of importance splitting techniques in stochastic Petri net package
- Extending propositional dynamic logic for Petri nets
- Multi-tasking arbitration and behaviour design for human-interactive robots
- Equivalences for stochastic Petri nets and stochastic process algebra
- Analytical and stochastic modelling techniques
- Modelling the protocol stack in NCS with deterministic and stochastic petri net
- Formalisms for specifying Markovian population models
- On Functional Central Limit Theorems for Semi-Markov and Related Processes
- Performance analysis of new stochastic colored Petri nets
- scientific article; zbMATH DE number 4213422 (Why is no real title available?)
- Modeling Power of Stochastic Petri Nets for Simulation
- Stochastic Petri Nets: Modeling Power and Limit Theorems
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
- Formalisms for Specifying Markovian Population Models
- Critical paths in the partial order unfolding of a stochastic Petri net
- scientific article; zbMATH DE number 3905853 (Why is no real title available?)
- Regenerative stochastic Petri nets
- Symmetric stochastic Petri nets
- Stochastic Petri net representation of discrete event simulations
- scientific article; zbMATH DE number 4110183 (Why is no real title available?)
- Passage times in colored stochastic petri nets
- About the stochastic and continuous Petri nets equivalence in the long run
- The computer-assisted analysis of the semi-Markovian stochastic Petri nets and an application
- Incremental approach for building stochastic Petri nets for dependability modeling
- scientific article; zbMATH DE number 977553 (Why is no real title available?)
- scientific article; zbMATH DE number 978520 (Why is no real title available?)
- Perturbation analysis of stochastic Petri nets
- Modelling an automated storage and retrieval system using Petri nets
- Introduction to stochastic Petri nets
- scientific article; zbMATH DE number 1790541 (Why is no real title available?)
- scientific article; zbMATH DE number 1843158 (Why is no real title available?)
- Estimation Methods for Delays in Non-regenerative Discrete-Event Systems
- scientific article; zbMATH DE number 763717 (Why is no real title available?)
- scientific article; zbMATH DE number 764884 (Why is no real title available?)
- Parallel simulation of stochastic Petri nets using recurrence equations
- Uniform and Bernoulli measures on the boundary of trace monoids
- A notion of equivalence for stochastic Petri nets
- Structured cospans
- A hybrid multi-trajectory simulation algorithm for the performance evaluation of stochastic Petri nets
- scientific article; zbMATH DE number 4197111 (Why is no real title available?)
- Risk Modeling in Process Industries by Stochastic Petri Nets
- On transience and recurrence in irreducible finite-state stochastic systems
- A compositional framework for reaction networks
- Laws of Large Numbers and Functional Central Limit Theorems for Generalized Semi-Markov Processes
- scientific article; zbMATH DE number 2243054 (Why is no real title available?)
- Role of stochastic Petri net (SPN) in process discovery for modelling and analysis
- Stochastic decision Petri nets
- Equilibrium analysis of Markov regenerative processes
- Confusion-tolerant computation of probability in acyclic nets
- Mean-payoff optimization in continuous-time Markov chains with parametric alarms
- Higher-order coverage errors of batching methods via Edgeworth expansions on t-statistics
- Detectability notions for a class of finite labeled Markovian systems
- Double categories of open systems: the cospan approach
- Markovian dynamics on complex reaction networks
- Analysis of multi-agent activity using Petri nets
This page was built for publication: Stochastic Petri nets. Modelling, stability, simulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4553270)
