Closed sets in occurrence nets with conflicts

DOI10.3233/FI-2014-1079zbMATH Open1315.68189OpenAlexW1567794727MaRDI QIDQ5259237FDOQ5259237

Stefan Haar, Luca Bernardinello, Lucia Pomello, Carlo Ferigato

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

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 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)

Cited In (4)

• Orthomodular Lattices in Occurrence Nets
• Orthomodular lattice in Lorentzian globally hyperbolic space-time
• Concurrency-Preserving Minimal Process Representation
• Title not available (Why is that?)

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)