Matches in SemOpenAlex for { <https://semopenalex.org/work/W1858598471> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1858598471 abstract "The structure Petri net model is presented for the representation and analysis of the control structures of distributed computing system software (DCSS). The basic properties of the model and some analysis techniques using this model are also presented. Liveness, reachability, and other related problems and their complexity are investigated. The NP-completeness of the reachability problem of this model is demonstrated. Four subclasses of structured Petri nets are then identified, and within these subclasses more efficient analysis methods based on decompositions are developed. Several O( mod T mod and O( mod T mod )/sup 2/) algorithms for liveness and reachability analyses are presented. Since most of these algorithms can be performed efficiently and economically, it is feasible that they can be integrated as an analysis tool for supporting the DCSS development process. >" @default.
- W1858598471 created "2016-06-24" @default.
- W1858598471 creator A5004540352 @default.
- W1858598471 creator A5067217334 @default.
- W1858598471 date "2003-01-06" @default.
- W1858598471 modified "2023-09-22" @default.
- W1858598471 title "Control flow analysis of distributed computing system software using structured Petri net model" @default.
- W1858598471 cites W1942480536 @default.
- W1858598471 cites W1971522971 @default.
- W1858598471 cites W198287998 @default.
- W1858598471 cites W1990785278 @default.
- W1858598471 cites W1994188141 @default.
- W1858598471 cites W1996502177 @default.
- W1858598471 cites W2014617929 @default.
- W1858598471 cites W2018205453 @default.
- W1858598471 cites W2030603304 @default.
- W1858598471 cites W2050890381 @default.
- W1858598471 cites W2079636926 @default.
- W1858598471 cites W2107261790 @default.
- W1858598471 cites W2125739093 @default.
- W1858598471 cites W2152879290 @default.
- W1858598471 cites W239980256 @default.
- W1858598471 cites W2719284418 @default.
- W1858598471 cites W3110201089 @default.
- W1858598471 cites W46073713 @default.
- W1858598471 doi "https://doi.org/10.1109/ftdcs.1988.26696" @default.
- W1858598471 hasPublicationYear "2003" @default.
- W1858598471 type Work @default.
- W1858598471 sameAs 1858598471 @default.
- W1858598471 citedByCount "5" @default.
- W1858598471 countsByYear W18585984712012 @default.
- W1858598471 crossrefType "proceedings-article" @default.
- W1858598471 hasAuthorship W1858598471A5004540352 @default.
- W1858598471 hasAuthorship W1858598471A5067217334 @default.
- W1858598471 hasConcept C110251889 @default.
- W1858598471 hasConcept C11413529 @default.
- W1858598471 hasConcept C120314980 @default.
- W1858598471 hasConcept C136643341 @default.
- W1858598471 hasConcept C15569618 @default.
- W1858598471 hasConcept C197551870 @default.
- W1858598471 hasConcept C199360897 @default.
- W1858598471 hasConcept C2777669093 @default.
- W1858598471 hasConcept C2777904410 @default.
- W1858598471 hasConcept C38677869 @default.
- W1858598471 hasConcept C41008148 @default.
- W1858598471 hasConcept C80444323 @default.
- W1858598471 hasConceptScore W1858598471C110251889 @default.
- W1858598471 hasConceptScore W1858598471C11413529 @default.
- W1858598471 hasConceptScore W1858598471C120314980 @default.
- W1858598471 hasConceptScore W1858598471C136643341 @default.
- W1858598471 hasConceptScore W1858598471C15569618 @default.
- W1858598471 hasConceptScore W1858598471C197551870 @default.
- W1858598471 hasConceptScore W1858598471C199360897 @default.
- W1858598471 hasConceptScore W1858598471C2777669093 @default.
- W1858598471 hasConceptScore W1858598471C2777904410 @default.
- W1858598471 hasConceptScore W1858598471C38677869 @default.
- W1858598471 hasConceptScore W1858598471C41008148 @default.
- W1858598471 hasConceptScore W1858598471C80444323 @default.
- W1858598471 hasLocation W18585984711 @default.
- W1858598471 hasOpenAccess W1858598471 @default.
- W1858598471 hasPrimaryLocation W18585984711 @default.
- W1858598471 hasRelatedWork W1519091161 @default.
- W1858598471 hasRelatedWork W1596119602 @default.
- W1858598471 hasRelatedWork W1596346255 @default.
- W1858598471 hasRelatedWork W1599642085 @default.
- W1858598471 hasRelatedWork W1823145254 @default.
- W1858598471 hasRelatedWork W1919365695 @default.
- W1858598471 hasRelatedWork W2027381560 @default.
- W1858598471 hasRelatedWork W2062511256 @default.
- W1858598471 hasRelatedWork W2085307639 @default.
- W1858598471 hasRelatedWork W2102169237 @default.
- W1858598471 hasRelatedWork W2102975798 @default.
- W1858598471 hasRelatedWork W2114243205 @default.
- W1858598471 hasRelatedWork W2114269468 @default.
- W1858598471 hasRelatedWork W2133603225 @default.
- W1858598471 hasRelatedWork W2138696276 @default.
- W1858598471 hasRelatedWork W2168615635 @default.
- W1858598471 hasRelatedWork W2169888131 @default.
- W1858598471 hasRelatedWork W2353129220 @default.
- W1858598471 hasRelatedWork W2537392738 @default.
- W1858598471 hasRelatedWork W2546920821 @default.
- W1858598471 isParatext "false" @default.
- W1858598471 isRetracted "false" @default.
- W1858598471 magId "1858598471" @default.
- W1858598471 workType "article" @default.