Event structures for Petri nets with persistence

DOI10.23638/LMCS-14(3:25)2018zbMATH Open1417.68113arXiv1802.03726MaRDI QIDQ4553276FDOQ4553276

Authors: Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernan Melgratti, Ugo Montanari 

Publication date: 2 November 2018

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

Recommendations

• An event structure semantics for general Petri nets
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Petri nets with persistence
• Configuration structures, event structures and Petri nets
• A Note on Persistent Petri Nets

zbMATH Keywords

persistenceconcurrencylocal connectednessPetri netsunfoldingevent structurescoreflectiondisjunctive causes

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Understanding Petri Nets
• Contextual Petri nets, asymmetric event structures, and processes
• Discrete Time Stochastic Petri Nets
• Title not available (Why is that?)
• Coloured Petri Nets
• Modeling business processes. A Petri net-oriented approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Contextual nets
• Properties of Conflict-Free and Persistent Petri Nets
• 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
• On the semantics of place/transition Petri nets
• Title not available (Why is that?)
• Process algebras for Petri nets. The alphabetization of distributed systems
• Mobile Petri nets
• Petri nets with persistence
• Petri Nets, Discrete Physics, and Distributed Quantum Computation
• Title not available (Why is that?)
• Concurrency and probability: removing confusion, compositionally
• Probabilistic time Petri nets
• A Net-based Approach to Web Services Publication and Replaceability

Cited In (8)

• Title not available (Why is that?)
• Configuration structures, event structures and Petri nets
• Bayesian network semantics for Petri nets
• Causal Unfoldings and Disjunctive Causes
• On the origin of events: branching cells as stubborn sets
• Petri nets with persistence
• Concurrent semantics for fusions: weak prime domains and connected event structures
• Domain and event structure semantics for Petri nets with read and inhibitor arcs

This page was built for publication: Event structures for Petri nets with persistence

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