scientific article; zbMATH DE number 1786473

zbMATH Open0990.68092MaRDI QIDQ4547765FDOQ4547765

Authors: Gianfranco Balbo 

Publication date: 21 August 2002

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

Title of this publication is not available (Why is that?)

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (52)

• Logical characterization of fluid equivalences
• A method to abstract a stochastic Petri net.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modeling discrete event systems with state-dependent deterministic service times
• Title not available (Why is that?)
• Stochastic Petri Nets
• Reliability modelling of medium voltage distribution systems of nuclear power plants using generalized stochastic Petri nets
• Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets
• Title not available (Why is that?)
• Stochastic decision Petri nets
• Title not available (Why is that?)
• Lectures on Concurrency and Petri Nets
• Title not available (Why is that?)
• Performance preserving equivalence for stochastic process algebra dtsdPBC
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Implementing compositionality for stochastic Petri nets
• Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
• A modeling approach for estimating performance and energy consumption of storage systems
• Modeling and quantitatively predicting software security based on stochastic Petri nets
• Analysis of Petri Net Models through Stochastic Differential Equations
• Title not available (Why is that?)
• History-dependent stochastic Petri nets
• Reward modeling based on first order fluid stochastic Petri nets
• Title not available (Why is that?)
• Applications and Theory of Petri Nets 2005
• A new stochastic Petri net model and its applications to logistics systems
• A simplified framework for stochastic workflow networks
• Title not available (Why is that?)
• Introduction to generalized stochastic Petri nets
• Equivalences for fluid stochastic Petri nets
• Petri nets. Fundamental models, verification and applications.
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specifications and solution techniques for non-Markovian stochastic Petri nets
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• Dependable virtual network mapping
• Performance analysis of new stochastic colored Petri nets
• Computing with chemical reaction networks: a tutorial
• Simplification of a complex signal transduction model using invariants and flow equivalent servers
• Piecewise deterministic Markov processes represented by dynamically coloured Petri nets
• A Semantics for Every GSPN
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
• Applications and Theory of Petri Nets 2004
• Title not available (Why is that?)
• Discrete Time Stochastic Petri Nets

This page was built for publication:

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