Matches in SemOpenAlex for { <https://semopenalex.org/work/W1986296241> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1986296241 endingPage "631" @default.
- W1986296241 startingPage "589" @default.
- W1986296241 abstract "Two solutions to the MUTEX-problem are compared w.r.t. their temporal efficiency. For this, a formerly developed efficiency testing for asynchronous systems is adapted to Petri nets with so-called read arcs. Furthermore, a compositional semantics for fair behaviour (in the sense of the progress assumption) is presented. On the one hand, this semantics is related to efficiency testing. On the other hand, it is used to specify formally what a solution to the MUTEX-problem is. It is shown that one of our solutions indeed satisfies this specification and that ordinary nets without read arcs cannot solve the MUTEX-problem." @default.
- W1986296241 created "2016-06-24" @default.
- W1986296241 creator A5068573305 @default.
- W1986296241 date "2002-03-01" @default.
- W1986296241 modified "2023-10-16" @default.
- W1986296241 title "Efficiency of asynchronous systems, read arcs, and the MUTEX-problem" @default.
- W1986296241 cites W1560050980 @default.
- W1986296241 cites W1596524122 @default.
- W1986296241 cites W1965067520 @default.
- W1986296241 cites W1971153585 @default.
- W1986296241 cites W2000855267 @default.
- W1986296241 cites W2001026449 @default.
- W1986296241 cites W2002076098 @default.
- W1986296241 cites W2003542531 @default.
- W1986296241 cites W2022360370 @default.
- W1986296241 cites W2022907112 @default.
- W1986296241 cites W2063510765 @default.
- W1986296241 cites W2090442591 @default.
- W1986296241 cites W2101508170 @default.
- W1986296241 cites W2112082164 @default.
- W1986296241 cites W2147535250 @default.
- W1986296241 cites W2157144873 @default.
- W1986296241 cites W2328819335 @default.
- W1986296241 cites W2913048148 @default.
- W1986296241 cites W2913376619 @default.
- W1986296241 cites W4247846885 @default.
- W1986296241 doi "https://doi.org/10.1016/s0304-3975(01)00300-0" @default.
- W1986296241 hasPublicationYear "2002" @default.
- W1986296241 type Work @default.
- W1986296241 sameAs 1986296241 @default.
- W1986296241 citedByCount "24" @default.
- W1986296241 countsByYear W19862962412015 @default.
- W1986296241 countsByYear W19862962412017 @default.
- W1986296241 countsByYear W19862962412019 @default.
- W1986296241 countsByYear W19862962412023 @default.
- W1986296241 crossrefType "journal-article" @default.
- W1986296241 hasAuthorship W1986296241A5068573305 @default.
- W1986296241 hasBestOaLocation W19862962411 @default.
- W1986296241 hasConcept C151319957 @default.
- W1986296241 hasConcept C184337299 @default.
- W1986296241 hasConcept C199360897 @default.
- W1986296241 hasConcept C31258907 @default.
- W1986296241 hasConcept C38677869 @default.
- W1986296241 hasConcept C41008148 @default.
- W1986296241 hasConcept C80444323 @default.
- W1986296241 hasConcept C95203288 @default.
- W1986296241 hasConceptScore W1986296241C151319957 @default.
- W1986296241 hasConceptScore W1986296241C184337299 @default.
- W1986296241 hasConceptScore W1986296241C199360897 @default.
- W1986296241 hasConceptScore W1986296241C31258907 @default.
- W1986296241 hasConceptScore W1986296241C38677869 @default.
- W1986296241 hasConceptScore W1986296241C41008148 @default.
- W1986296241 hasConceptScore W1986296241C80444323 @default.
- W1986296241 hasConceptScore W1986296241C95203288 @default.
- W1986296241 hasIssue "1-2" @default.
- W1986296241 hasLocation W19862962411 @default.
- W1986296241 hasOpenAccess W1986296241 @default.
- W1986296241 hasPrimaryLocation W19862962411 @default.
- W1986296241 hasRelatedWork W1474311139 @default.
- W1986296241 hasRelatedWork W1490556023 @default.
- W1986296241 hasRelatedWork W1587224678 @default.
- W1986296241 hasRelatedWork W1969008178 @default.
- W1986296241 hasRelatedWork W2091821831 @default.
- W1986296241 hasRelatedWork W2118877810 @default.
- W1986296241 hasRelatedWork W2122464577 @default.
- W1986296241 hasRelatedWork W2161910549 @default.
- W1986296241 hasRelatedWork W2948682255 @default.
- W1986296241 hasRelatedWork W971450223 @default.
- W1986296241 hasVolume "275" @default.
- W1986296241 isParatext "false" @default.
- W1986296241 isRetracted "false" @default.
- W1986296241 magId "1986296241" @default.
- W1986296241 workType "article" @default.