FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567794727> ?p ?o ?g. }

• W1567794727 abstract "The semantics of concurrent processes can be defined in terms of partially ordered sets. Occurrence nets, which belong to the family of Petri nets, model concurrent processes as partially ordered sets of occurrences of local states and local events. On the basis of the associated concurrency relation, a closure operator can be defined, giving rise to a lattice of closed sets. Extending previous results along this line, the present paper studies occurrence nets with forward conflicts, modelling families of processes. It is shown that the lattice of closed sets is orthomodular, and the relations between closed sets and some particular substructures of an occurrence net are studied. In particular, the paper deals with runs, modelling concurrent histories, and trails, corresponding to possible histories of sequential components. A second closure operator is then defined by means of an iterative procedure. The corresponding closed sets, here called 'dynamically closed', are shown to form a complete lattice, which in general is not orthocomplemented. Finally, it is shown that, if an occurrence net satisfies a property called B-density, which essentially says that any antichain meets any trail, then the two notions of closed set coincide, and they form a complete, algebraic orthomodular lattice." @default.
• W1567794727 created "2016-06-24" @default.
• W1567794727 creator A5008279822 @default.
• W1567794727 creator A5039309155 @default.
• W1567794727 creator A5049680871 @default.
• W1567794727 creator A5071166273 @default.
• W1567794727 date "2014-01-01" @default.
• W1567794727 modified "2023-09-25" @default.
• W1567794727 title "Closed Sets in Occurrence Nets with Conflicts" @default.
• W1567794727 cites W1548208472 @default.
• W1567794727 cites W157358782 @default.
• W1567794727 cites W1593711221 @default.
• W1567794727 cites W1645769175 @default.
• W1567794727 cites W1967479370 @default.
• W1567794727 cites W1977494718 @default.
• W1567794727 cites W2015010480 @default.
• W1567794727 cites W2047228476 @default.
• W1567794727 cites W2077531540 @default.
• W1567794727 cites W2093397547 @default.
• W1567794727 cites W2325650027 @default.
• W1567794727 cites W2612513657 @default.
• W1567794727 doi "https://doi.org/10.3233/fi-2014-1079" @default.
• W1567794727 hasPublicationYear "2014" @default.
• W1567794727 type Work @default.
• W1567794727 sameAs 1567794727 @default.
• W1567794727 citedByCount "3" @default.
• W1567794727 countsByYear W15677947272015 @default.
• W1567794727 countsByYear W15677947272017 @default.
• W1567794727 crossrefType "journal-article" @default.
• W1567794727 hasAuthorship W1567794727A5008279822 @default.
• W1567794727 hasAuthorship W1567794727A5039309155 @default.
• W1567794727 hasAuthorship W1567794727A5049680871 @default.
• W1567794727 hasAuthorship W1567794727A5071166273 @default.
• W1567794727 hasConcept C104317684 @default.
• W1567794727 hasConcept C111919701 @default.
• W1567794727 hasConcept C11413529 @default.
• W1567794727 hasConcept C114614502 @default.
• W1567794727 hasConcept C118615104 @default.
• W1567794727 hasConcept C121332964 @default.
• W1567794727 hasConcept C128896722 @default.
• W1567794727 hasConcept C134306372 @default.
• W1567794727 hasConcept C136134351 @default.
• W1567794727 hasConcept C14166107 @default.
• W1567794727 hasConcept C146834321 @default.
• W1567794727 hasConcept C158448853 @default.
• W1567794727 hasConcept C160771489 @default.
• W1567794727 hasConcept C162324750 @default.
• W1567794727 hasConcept C164953516 @default.
• W1567794727 hasConcept C17020691 @default.
• W1567794727 hasConcept C180645754 @default.
• W1567794727 hasConcept C183992945 @default.
• W1567794727 hasConcept C185592680 @default.
• W1567794727 hasConcept C193702766 @default.
• W1567794727 hasConcept C201640847 @default.
• W1567794727 hasConcept C202444582 @default.
• W1567794727 hasConcept C24890656 @default.
• W1567794727 hasConcept C2524010 @default.
• W1567794727 hasConcept C2781204021 @default.
• W1567794727 hasConcept C33923547 @default.
• W1567794727 hasConcept C34447519 @default.
• W1567794727 hasConcept C38677869 @default.
• W1567794727 hasConcept C41008148 @default.
• W1567794727 hasConcept C55493867 @default.
• W1567794727 hasConcept C62520636 @default.
• W1567794727 hasConcept C86339819 @default.
• W1567794727 hasConcept C9376300 @default.
• W1567794727 hasConceptScore W1567794727C104317684 @default.
• W1567794727 hasConceptScore W1567794727C111919701 @default.
• W1567794727 hasConceptScore W1567794727C11413529 @default.
• W1567794727 hasConceptScore W1567794727C114614502 @default.
• W1567794727 hasConceptScore W1567794727C118615104 @default.
• W1567794727 hasConceptScore W1567794727C121332964 @default.
• W1567794727 hasConceptScore W1567794727C128896722 @default.
• W1567794727 hasConceptScore W1567794727C134306372 @default.
• W1567794727 hasConceptScore W1567794727C136134351 @default.
• W1567794727 hasConceptScore W1567794727C14166107 @default.
• W1567794727 hasConceptScore W1567794727C146834321 @default.
• W1567794727 hasConceptScore W1567794727C158448853 @default.
• W1567794727 hasConceptScore W1567794727C160771489 @default.
• W1567794727 hasConceptScore W1567794727C162324750 @default.
• W1567794727 hasConceptScore W1567794727C164953516 @default.
• W1567794727 hasConceptScore W1567794727C17020691 @default.
• W1567794727 hasConceptScore W1567794727C180645754 @default.
• W1567794727 hasConceptScore W1567794727C183992945 @default.
• W1567794727 hasConceptScore W1567794727C185592680 @default.
• W1567794727 hasConceptScore W1567794727C193702766 @default.
• W1567794727 hasConceptScore W1567794727C201640847 @default.
• W1567794727 hasConceptScore W1567794727C202444582 @default.
• W1567794727 hasConceptScore W1567794727C24890656 @default.
• W1567794727 hasConceptScore W1567794727C2524010 @default.
• W1567794727 hasConceptScore W1567794727C2781204021 @default.
• W1567794727 hasConceptScore W1567794727C33923547 @default.
• W1567794727 hasConceptScore W1567794727C34447519 @default.
• W1567794727 hasConceptScore W1567794727C38677869 @default.
• W1567794727 hasConceptScore W1567794727C41008148 @default.
• W1567794727 hasConceptScore W1567794727C55493867 @default.
• W1567794727 hasConceptScore W1567794727C62520636 @default.
• W1567794727 hasConceptScore W1567794727C86339819 @default.
• W1567794727 hasConceptScore W1567794727C9376300 @default.
• W1567794727 hasLocation W15677947271 @default.

• next