FRINK Linked Data Fragments server

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

• W2158163902 endingPage "1322" @default.
• W2158163902 startingPage "1307" @default.
• W2158163902 abstract "As part of our continuing research on using Petri nets to support automated analysis of Ada tasking behavior, we have investigated the application of Petri net reduction for deadlock analysis. Although reachability analysis is an important method to detect deadlocks, it is in general inefficient or even intractable. Net reduction can aid the analysis by reducing the size of the net while preserving relevant properties. We introduce a number of reduction rules and show how they can be applied to Ada nets, which are automatically generated Petri net models of Ada tasking. We define a reduction process and a method by which a useful description of a detected deadlock state can be obtained from the reduced net's information. A reduction tool and experimental results from applying the reduction process are discussed." @default.
• W2158163902 created "2016-06-24" @default.
• W2158163902 creator A5011134763 @default.
• W2158163902 creator A5015357136 @default.
• W2158163902 creator A5043081928 @default.
• W2158163902 creator A5079925771 @default.
• W2158163902 date "1996-01-01" @default.
• W2158163902 modified "2023-10-07" @default.
• W2158163902 title "An application of Petri net reduction for Ada tasking deadlock analysis" @default.
• W2158163902 cites W1968552123 @default.
• W2158163902 cites W1984909114 @default.
• W2158163902 cites W1986332631 @default.
• W2158163902 cites W1995736448 @default.
• W2158163902 cites W1996109622 @default.
• W2158163902 cites W1996158062 @default.
• W2158163902 cites W1998272764 @default.
• W2158163902 cites W1999127935 @default.
• W2158163902 cites W2030837954 @default.
• W2158163902 cites W2047831585 @default.
• W2158163902 cites W2074578336 @default.
• W2158163902 cites W2078853139 @default.
• W2158163902 cites W2105180288 @default.
• W2158163902 cites W2112922197 @default.
• W2158163902 cites W2118895024 @default.
• W2158163902 cites W2124874799 @default.
• W2158163902 cites W2128034958 @default.
• W2158163902 cites W2137968059 @default.
• W2158163902 cites W2153695920 @default.
• W2158163902 cites W2157597221 @default.
• W2158163902 cites W2160455496 @default.
• W2158163902 cites W3139618605 @default.
• W2158163902 cites W4239767307 @default.
• W2158163902 cites W4239895627 @default.
• W2158163902 cites W4253970047 @default.
• W2158163902 doi "https://doi.org/10.1109/71.553301" @default.
• W2158163902 hasPublicationYear "1996" @default.
• W2158163902 type Work @default.
• W2158163902 sameAs 2158163902 @default.
• W2158163902 citedByCount "69" @default.
• W2158163902 countsByYear W21581639022012 @default.
• W2158163902 countsByYear W21581639022013 @default.
• W2158163902 countsByYear W21581639022014 @default.
• W2158163902 countsByYear W21581639022015 @default.
• W2158163902 countsByYear W21581639022016 @default.
• W2158163902 countsByYear W21581639022017 @default.
• W2158163902 countsByYear W21581639022021 @default.
• W2158163902 countsByYear W21581639022022 @default.
• W2158163902 crossrefType "journal-article" @default.
• W2158163902 hasAuthorship W2158163902A5011134763 @default.
• W2158163902 hasAuthorship W2158163902A5015357136 @default.
• W2158163902 hasAuthorship W2158163902A5043081928 @default.
• W2158163902 hasAuthorship W2158163902A5079925771 @default.
• W2158163902 hasConcept C111335779 @default.
• W2158163902 hasConcept C113429609 @default.
• W2158163902 hasConcept C120314980 @default.
• W2158163902 hasConcept C136155141 @default.
• W2158163902 hasConcept C136643341 @default.
• W2158163902 hasConcept C159023740 @default.
• W2158163902 hasConcept C193702766 @default.
• W2158163902 hasConcept C197551870 @default.
• W2158163902 hasConcept C199360897 @default.
• W2158163902 hasConcept C2524010 @default.
• W2158163902 hasConcept C33923547 @default.
• W2158163902 hasConcept C38677869 @default.
• W2158163902 hasConcept C41008148 @default.
• W2158163902 hasConcept C80444323 @default.
• W2158163902 hasConcept C98045186 @default.
• W2158163902 hasConceptScore W2158163902C111335779 @default.
• W2158163902 hasConceptScore W2158163902C113429609 @default.
• W2158163902 hasConceptScore W2158163902C120314980 @default.
• W2158163902 hasConceptScore W2158163902C136155141 @default.
• W2158163902 hasConceptScore W2158163902C136643341 @default.
• W2158163902 hasConceptScore W2158163902C159023740 @default.
• W2158163902 hasConceptScore W2158163902C193702766 @default.
• W2158163902 hasConceptScore W2158163902C197551870 @default.
• W2158163902 hasConceptScore W2158163902C199360897 @default.
• W2158163902 hasConceptScore W2158163902C2524010 @default.
• W2158163902 hasConceptScore W2158163902C33923547 @default.
• W2158163902 hasConceptScore W2158163902C38677869 @default.
• W2158163902 hasConceptScore W2158163902C41008148 @default.
• W2158163902 hasConceptScore W2158163902C80444323 @default.
• W2158163902 hasConceptScore W2158163902C98045186 @default.
• W2158163902 hasIssue "12" @default.
• W2158163902 hasLocation W21581639021 @default.
• W2158163902 hasOpenAccess W2158163902 @default.
• W2158163902 hasPrimaryLocation W21581639021 @default.
• W2158163902 hasRelatedWork W1531156418 @default.
• W2158163902 hasRelatedWork W1542183432 @default.
• W2158163902 hasRelatedWork W1776999661 @default.
• W2158163902 hasRelatedWork W2050076411 @default.
• W2158163902 hasRelatedWork W2174390203 @default.
• W2158163902 hasRelatedWork W2307448499 @default.
• W2158163902 hasRelatedWork W2360686363 @default.
• W2158163902 hasRelatedWork W2379807426 @default.
• W2158163902 hasRelatedWork W4226119751 @default.
• W2158163902 hasRelatedWork W4361186044 @default.
• W2158163902 hasVolume "7" @default.
• W2158163902 isParatext "false" @default.

• next