scientific article; zbMATH DE number 6970790

DOI10.23638/LMCS-14(3:25)2018zbMath1417.68113arXiv1802.03726MaRDI QIDQ4553276

Fabio Gadducci, Hernán Melgratti, Andrea Corradini, Paolo Baldan, Roberto Bruni, Ugo Montanari

Publication date: 2 November 2018

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

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

zbMATH Keywords

persistencePetri netsconcurrencyunfoldinglocal connectednessevent structurescoreflectiondisjunctive causes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50)

Related Items (2)

Unnamed Item ⋮ Bayesian network semantics for Petri nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
• Contextual Petri nets, asymmetric event structures, and processes
• Contextual nets
• Process algebras for Petri nets. The alphabetization of distributed systems
• Probabilistic Time Petri Nets
• Discrete Time Stochastic Petri Nets
• Petri Nets, Discrete Physics, and Distributed Quantum Computation
• Coloured Petri Nets
• A Net-based Approach to Web Services Publication and Replaceability
• Mobile Petri nets
• Properties of Conflict-Free and Persistent Petri Nets
• On the semantics of place/transition Petri nets
• Understanding Petri Nets
• Concurrency and Probability

This page was built for publication: