Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net

DOI10.1007/978-3-642-04368-0_6zbMath1262.68135OpenAlexW1572640889MaRDI QIDQ3648819

Anne Bouillard, Stefan Haar, Sidney Rosario

Publication date: 1 December 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-04368-0_6

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Unnamed Item ⋮ Bayesian network semantics for Petri nets ⋮ Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets, event structures and domains. I
• Branching processes of Petri nets
• An improvement of McMillan's unfolding algorithm
• True-concurrency probabilistic models: Markov nets and a law of large numbers
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• Probabilistic event structures and domains
• Monotonicity in Service Orchestrations
• Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net
• Modeling and analysis of timed Petri nets using heaps of pieces
• Stochastic Petri Nets
• Markov nets: probabilistic models for distributed and concurrent systems
• Metric semantics for true concurrent real time

This page was built for publication: Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net