Introduction to stochastic Petri nets

DOI10.1007/3-540-44667-2_3MaRDI QIDQ4547765zbMATH OpenFDO

Authors Gianfranco Balbo

Publication date 21 August 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2090/20900084

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Introduction to generalized stochastic Petri nets
• scientific article; zbMATH DE number 1843158
• scientific article; zbMATH DE number 977553
• scientific article; zbMATH DE number 4213422
• Stochastic Petri Nets
• Stochastic decision Petri nets
• Discrete Time Stochastic Petri Nets
• Introduction to Petri nets

Cited in

(67)

• A new stochastic Petri net model and its applications to logistics systems
• Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets
• A method to abstract a stochastic Petri net.
• Sensitivity analysis and optimization of stochastic Petri nets
• Performance evaluation in stochastic process algebra dtsdPBC
• Formal specification and verification of decentralized self-adaptive systems using symmetric nets
• A modeling approach for estimating performance and energy consumption of storage systems
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• Logical characterization of fluid equivalences
• A simplified framework for stochastic workflow networks
• Equivalences for fluid stochastic Petri nets
• Reliability modelling of medium voltage distribution systems of nuclear power plants using generalized stochastic Petri nets
• Dependable virtual network mapping
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• Implementation of importance splitting techniques in stochastic Petri net package
• Specifications and solution techniques for non-Markovian stochastic Petri nets
• Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models
• Introduction to generalized stochastic Petri nets
• scientific article; zbMATH DE number 1822433 (Why is no real title available?)
• Performance analysis of new stochastic colored Petri nets
• Discrete Time Stochastic Petri Nets
• scientific article; zbMATH DE number 4213422 (Why is no real title available?)
• History-dependent stochastic Petri nets
• Reward modeling based on first order fluid stochastic Petri nets
• Petri nets. Fundamental models, verification and applications.
• Approximation of the asymptotic mean marking of SPNs with contPNs
• Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
• scientific article; zbMATH DE number 3905853 (Why is no real title available?)
• scientific article; zbMATH DE number 3918071 (Why is no real title available?)
• scientific article; zbMATH DE number 1294068 (Why is no real title available?)
• scientific article; zbMATH DE number 1304239 (Why is no real title available?)
• The computer-assisted analysis of the semi-Markovian stochastic Petri nets and an application
• scientific article; zbMATH DE number 977553 (Why is no real title available?)
• scientific article; zbMATH DE number 978520 (Why is no real title available?)
• scientific article; zbMATH DE number 1131474 (Why is no real title available?)
• Petri nets with k simultaneously enabled generally distributed timed transitions
• Modelling an automated storage and retrieval system using Petri nets
• scientific article; zbMATH DE number 2020760 (Why is no real title available?)
• scientific article; zbMATH DE number 2042797 (Why is no real title available?)
• Modeling and quantitatively predicting software security based on stochastic Petri nets
• Kronecker algebra and (stochastic) Petri nets: Is it worth the effort?
• Stochastic activity networks: Formal definitions and concepts
• scientific article; zbMATH DE number 1790541 (Why is no real title available?)
• Stochastic Petri Nets
• scientific article; zbMATH DE number 2087812 (Why is no real title available?)
• scientific article; zbMATH DE number 749809 (Why is no real title available?)
• scientific article; zbMATH DE number 1843158 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• scientific article; zbMATH DE number 1424143 (Why is no real title available?)
• A notion of equivalence for stochastic Petri nets
• Analysis of Petri net models through stochastic differential equations
• Stochastic Petri nets sensitivity to token scheduling policies
• Comparison properties of stochastic decision free Petri nets
• A moment generating function based approach for evaluating extended stochastic Petri Nets
• A semantics for every GSPN
• Piecewise deterministic Markov processes represented by dynamically coloured Petri nets
• scientific article; zbMATH DE number 5033888 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• Applications and Theory of Petri Nets 2004
• Applications and Theory of Petri Nets 2005
• scientific article; zbMATH DE number 2243054 (Why is no real title available?)
• Implementing compositionality for stochastic Petri nets
• Computing with chemical reaction networks: a tutorial
• Simplification of a complex signal transduction model using invariants and flow equivalent servers
• Stochastic decision Petri nets
• Performance preserving equivalence for stochastic process algebra dtsdPBC
• Modeling discrete event systems with state-dependent deterministic service times

This page was built for publication: Introduction to stochastic Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4547765)