Closed sets in occurrence nets with conflicts

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

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

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

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 (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
• Title not available (Why is that?)
• 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)