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

concurrencycoreflectiondisjunctive causesevent structureslocal connectednesspersistencePetri netsunfolding

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

• A Net-based Approach to Web Services Publication and Replaceability
• Coloured Petri Nets
• Concurrency and probability: removing confusion, compositionally
• Contextual nets
• Contextual Petri nets, asymmetric event structures, and processes
• Discrete Time Stochastic Petri Nets
• 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?)
• Mobile Petri nets
• Modeling business processes. A Petri net-oriented approach
• On the semantics of place/transition Petri nets
• Petri nets with persistence
• Petri Nets, Discrete Physics, and Distributed Quantum Computation
• 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

(11)

• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Concurrent semantics for fusions: weak prime domains and connected event structures
• Bayesian network semantics for Petri nets
• Petri nets with persistence
• On the origin of events: branching cells as stubborn sets
• scientific article; zbMATH DE number 7147446 (Why is no real title available?)
• Causal unfoldings
• Causal Unfoldings and Disjunctive Causes
• An event structure semantics for general Petri nets
• Analysis of concurrent systems based on interval order
• Configuration structures, event structures and Petri nets

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)