Closed sets in occurrence nets with conflicts

DOI10.3233/FI-2014-1079MaRDI QIDQ5259237zbMATH OpenOpenAlexFDO

Authors Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello

Publication date 26 June 2015

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2014-1079

zbMATH Keywords

concurrency theorypartial order semanticsclosure operatorsorthomodular lattices

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Complemented lattices, orthocomplemented lattices and posets (06C15)

Recommendations

• Closure operators and lattices derived from concurrency in posets and occurrence nets
• Orthomodular Lattices in Occurrence Nets
• scientific article; zbMATH DE number 7301527
• Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence
• scientific article; zbMATH DE number 193318

Cited in

(7)

• Closure operators and lattices derived from concurrency in posets and occurrence nets
• Orthomodular Lattices in Occurrence Nets
• Between quantum logic and concurrency
• Orthomodular lattice in Lorentzian globally hyperbolic space-time
• Building occurrence nets from reveals relations
• scientific article; zbMATH DE number 3917725 (Why is no real title available?)
• Concurrency-preserving minimal process representation

This page was built for publication: Closed sets in occurrence nets with conflicts

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