Event structures for Petri nets with persistence

DOI10.23638/LMCS-14(3:25)2018MaRDI QIDQ4553276zbMATH OpenFDO

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

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)

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

Cites work

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

Cited in

(8)

• scientific article; zbMATH DE number 7147446 (Why is no real title available?)
• 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)