Matches in SemOpenAlex for { <https://semopenalex.org/work/W1545804765> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1545804765 abstract "Siphons are related to liveness properties of Petri net models. This relation is strong in the case of resource allocation systems (RAS). Siphons can be used in these systems in order to both, characterize and prevent/avoid deadlock situations. However, the computation of these structural components can be very time consuming or, even, impossible. Moreover, if, in general, the complete enumeration of the set of minimal siphons must be avoided (there can exist an exponential number of such components), some deadlock prevention methods rely on its (complete or partial) computation and enumeration. In the paper we show how the special syntactical constraints of some classes of resource allocation systems (we concentrate on S/sup 4/PR) can help in developing specific implementations to compute siphons in a very efficient way." @default.
- W1545804765 created "2016-06-24" @default.
- W1545804765 creator A5004430599 @default.
- W1545804765 creator A5049034865 @default.
- W1545804765 date "2004-03-30" @default.
- W1545804765 modified "2023-09-25" @default.
- W1545804765 title "Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets" @default.
- W1545804765 cites W1546320162 @default.
- W1545804765 cites W1546456762 @default.
- W1545804765 cites W1572060549 @default.
- W1545804765 cites W1980149643 @default.
- W1545804765 cites W1996109622 @default.
- W1545804765 cites W1996297578 @default.
- W1545804765 cites W2030224590 @default.
- W1545804765 cites W2066987852 @default.
- W1545804765 cites W2099550549 @default.
- W1545804765 cites W2111126894 @default.
- W1545804765 cites W2127349283 @default.
- W1545804765 cites W2140872435 @default.
- W1545804765 cites W2157357884 @default.
- W1545804765 doi "https://doi.org/10.1109/etfa.2003.1247724" @default.
- W1545804765 hasPublicationYear "2004" @default.
- W1545804765 type Work @default.
- W1545804765 sameAs 1545804765 @default.
- W1545804765 citedByCount "13" @default.
- W1545804765 countsByYear W15458047652012 @default.
- W1545804765 countsByYear W15458047652014 @default.
- W1545804765 countsByYear W15458047652023 @default.
- W1545804765 crossrefType "proceedings-article" @default.
- W1545804765 hasAuthorship W1545804765A5004430599 @default.
- W1545804765 hasAuthorship W1545804765A5049034865 @default.
- W1545804765 hasConcept C113429609 @default.
- W1545804765 hasConcept C11413529 @default.
- W1545804765 hasConcept C118615104 @default.
- W1545804765 hasConcept C120314980 @default.
- W1545804765 hasConcept C124101348 @default.
- W1545804765 hasConcept C126255220 @default.
- W1545804765 hasConcept C136155141 @default.
- W1545804765 hasConcept C15569618 @default.
- W1545804765 hasConcept C156340839 @default.
- W1545804765 hasConcept C159023740 @default.
- W1545804765 hasConcept C163629137 @default.
- W1545804765 hasConcept C177264268 @default.
- W1545804765 hasConcept C18903297 @default.
- W1545804765 hasConcept C199360897 @default.
- W1545804765 hasConcept C25343380 @default.
- W1545804765 hasConcept C29202148 @default.
- W1545804765 hasConcept C31258907 @default.
- W1545804765 hasConcept C33923547 @default.
- W1545804765 hasConcept C38677869 @default.
- W1545804765 hasConcept C41008148 @default.
- W1545804765 hasConcept C45374587 @default.
- W1545804765 hasConcept C80444323 @default.
- W1545804765 hasConcept C86803240 @default.
- W1545804765 hasConceptScore W1545804765C113429609 @default.
- W1545804765 hasConceptScore W1545804765C11413529 @default.
- W1545804765 hasConceptScore W1545804765C118615104 @default.
- W1545804765 hasConceptScore W1545804765C120314980 @default.
- W1545804765 hasConceptScore W1545804765C124101348 @default.
- W1545804765 hasConceptScore W1545804765C126255220 @default.
- W1545804765 hasConceptScore W1545804765C136155141 @default.
- W1545804765 hasConceptScore W1545804765C15569618 @default.
- W1545804765 hasConceptScore W1545804765C156340839 @default.
- W1545804765 hasConceptScore W1545804765C159023740 @default.
- W1545804765 hasConceptScore W1545804765C163629137 @default.
- W1545804765 hasConceptScore W1545804765C177264268 @default.
- W1545804765 hasConceptScore W1545804765C18903297 @default.
- W1545804765 hasConceptScore W1545804765C199360897 @default.
- W1545804765 hasConceptScore W1545804765C25343380 @default.
- W1545804765 hasConceptScore W1545804765C29202148 @default.
- W1545804765 hasConceptScore W1545804765C31258907 @default.
- W1545804765 hasConceptScore W1545804765C33923547 @default.
- W1545804765 hasConceptScore W1545804765C38677869 @default.
- W1545804765 hasConceptScore W1545804765C41008148 @default.
- W1545804765 hasConceptScore W1545804765C45374587 @default.
- W1545804765 hasConceptScore W1545804765C80444323 @default.
- W1545804765 hasConceptScore W1545804765C86803240 @default.
- W1545804765 hasLocation W15458047651 @default.
- W1545804765 hasOpenAccess W1545804765 @default.
- W1545804765 hasPrimaryLocation W15458047651 @default.
- W1545804765 hasRelatedWork W1545804765 @default.
- W1545804765 hasRelatedWork W1904030840 @default.
- W1545804765 hasRelatedWork W1980233554 @default.
- W1545804765 hasRelatedWork W2018685591 @default.
- W1545804765 hasRelatedWork W2056587795 @default.
- W1545804765 hasRelatedWork W2107672607 @default.
- W1545804765 hasRelatedWork W2116674061 @default.
- W1545804765 hasRelatedWork W2151082683 @default.
- W1545804765 hasRelatedWork W2310250136 @default.
- W1545804765 hasRelatedWork W2368705102 @default.
- W1545804765 isParatext "false" @default.
- W1545804765 isRetracted "false" @default.
- W1545804765 magId "1545804765" @default.
- W1545804765 workType "article" @default.