scientific article; zbMATH DE number 7147446

zbMath1427.68186arXiv1710.04570MaRDI QIDQ5207054

Hernán Melgratti, Roberto Bruni, Ugo Montanari

Publication date: 3 January 2020

Full work available at URL: https://arxiv.org/abs/1710.04570

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Petri netsconcurrencyprobabilistic computationconfusiondynamic netsOR causalitypersistent places

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) 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 (2)

Unnamed Item ⋮ Probabilistic Analysis of Binary Sessions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the border of causality: contact and confusion
• Petri nets, event structures and domains. I
• Causal automata
• Contextual nets
• 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
• Connector algebras for C/E and P/T nets' interactions
• On Characterising Distributability
• The non-sequential behaviour of Petri nets
• Discrete Time Stochastic Petri Nets
• Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net
• Mobile Petri nets
• Understanding Petri Nets
• A Semantics for Every GSPN
• Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems
• Foundations of Software Science and Computational Structures
• Causal ambiguity and partial orders in event structures

This page was built for publication: