Matches in SemOpenAlex for { <https://semopenalex.org/work/W46650962> ?p ?o ?g. }
- W46650962 abstract "Petri net based software validation to check the synchronization structure against some data or control flow anomalies (like unboundedness or non-liveness) has been a well-known and widely used approach for about ten years. To decrease the complexity problem and because the simpler the model, the more efficient the analysis, the validation is usually tried with the help of place transition Petri nets. However, the modelling with this Petri net class involves two important abstractions of actual software properties -the time consumption of any action and the data dependencies among conflict decisions. Basically, this paper discusses some problems resulting from these abstractions in the models analyzed which are very often neglected and have therefore not been well understood up to now. Furthermore, discussing the pros and cons of the Petri net approach is done by offering a rough overview of the given background of dependable distributed software engineering. Suggestions for a related workstation supporting different net-based methods are outlined. 1. E-mail: heiner@kmx.gmd.dbp.de 2. Research Institute for Computer and Software Technique" @default.
- W46650962 created "2016-06-24" @default.
- W46650962 creator A5002026696 @default.
- W46650962 date "2004-01-01" @default.
- W46650962 modified "2023-09-26" @default.
- W46650962 title "Petri Net Based Software Validation Prospects and Limitations" @default.
- W46650962 cites W130073731 @default.
- W46650962 cites W1491461849 @default.
- W46650962 cites W1495984012 @default.
- W46650962 cites W1512641181 @default.
- W46650962 cites W1534926211 @default.
- W46650962 cites W1552250880 @default.
- W46650962 cites W1571564864 @default.
- W46650962 cites W1574768306 @default.
- W46650962 cites W1595616092 @default.
- W46650962 cites W1765032207 @default.
- W46650962 cites W1819916734 @default.
- W46650962 cites W1877496576 @default.
- W46650962 cites W1960390258 @default.
- W46650962 cites W1964962870 @default.
- W46650962 cites W1968054699 @default.
- W46650962 cites W1988326056 @default.
- W46650962 cites W1989708113 @default.
- W46650962 cites W1990553077 @default.
- W46650962 cites W1994564174 @default.
- W46650962 cites W1997422861 @default.
- W46650962 cites W2012633829 @default.
- W46650962 cites W2014350538 @default.
- W46650962 cites W2014892186 @default.
- W46650962 cites W2025162846 @default.
- W46650962 cites W2043490323 @default.
- W46650962 cites W2045497409 @default.
- W46650962 cites W2048965318 @default.
- W46650962 cites W2075431765 @default.
- W46650962 cites W2076947965 @default.
- W46650962 cites W2078740216 @default.
- W46650962 cites W2080325608 @default.
- W46650962 cites W2089519750 @default.
- W46650962 cites W2090326083 @default.
- W46650962 cites W2117967725 @default.
- W46650962 cites W2124975552 @default.
- W46650962 cites W2141321028 @default.
- W46650962 cites W2142526507 @default.
- W46650962 cites W2180304681 @default.
- W46650962 cites W2279838076 @default.
- W46650962 cites W2336114453 @default.
- W46650962 cites W2521844753 @default.
- W46650962 cites W3106395040 @default.
- W46650962 cites W3199201293 @default.
- W46650962 cites W399064329 @default.
- W46650962 cites W88082613 @default.
- W46650962 cites W1510048240 @default.
- W46650962 cites W2734221117 @default.
- W46650962 hasPublicationYear "2004" @default.
- W46650962 type Work @default.
- W46650962 sameAs 46650962 @default.
- W46650962 citedByCount "4" @default.
- W46650962 crossrefType "journal-article" @default.
- W46650962 hasAuthorship W46650962A5002026696 @default.
- W46650962 hasConcept C111919701 @default.
- W46650962 hasConcept C115903868 @default.
- W46650962 hasConcept C120314980 @default.
- W46650962 hasConcept C124101348 @default.
- W46650962 hasConcept C127162648 @default.
- W46650962 hasConcept C154945302 @default.
- W46650962 hasConcept C15569618 @default.
- W46650962 hasConcept C199360897 @default.
- W46650962 hasConcept C2777212361 @default.
- W46650962 hasConcept C2777904410 @default.
- W46650962 hasConcept C2778562939 @default.
- W46650962 hasConcept C31258907 @default.
- W46650962 hasConcept C38677869 @default.
- W46650962 hasConcept C41008148 @default.
- W46650962 hasConcept C67953723 @default.
- W46650962 hasConcept C80444323 @default.
- W46650962 hasConceptScore W46650962C111919701 @default.
- W46650962 hasConceptScore W46650962C115903868 @default.
- W46650962 hasConceptScore W46650962C120314980 @default.
- W46650962 hasConceptScore W46650962C124101348 @default.
- W46650962 hasConceptScore W46650962C127162648 @default.
- W46650962 hasConceptScore W46650962C154945302 @default.
- W46650962 hasConceptScore W46650962C15569618 @default.
- W46650962 hasConceptScore W46650962C199360897 @default.
- W46650962 hasConceptScore W46650962C2777212361 @default.
- W46650962 hasConceptScore W46650962C2777904410 @default.
- W46650962 hasConceptScore W46650962C2778562939 @default.
- W46650962 hasConceptScore W46650962C31258907 @default.
- W46650962 hasConceptScore W46650962C38677869 @default.
- W46650962 hasConceptScore W46650962C41008148 @default.
- W46650962 hasConceptScore W46650962C67953723 @default.
- W46650962 hasConceptScore W46650962C80444323 @default.
- W46650962 hasLocation W466509621 @default.
- W46650962 hasOpenAccess W46650962 @default.
- W46650962 hasPrimaryLocation W466509621 @default.
- W46650962 hasRelatedWork W109049272 @default.
- W46650962 hasRelatedWork W1522789239 @default.
- W46650962 hasRelatedWork W190679955 @default.
- W46650962 hasRelatedWork W2108049294 @default.
- W46650962 hasRelatedWork W2109792427 @default.
- W46650962 hasRelatedWork W2401954651 @default.