Matches in SemOpenAlex for { <https://semopenalex.org/work/W3012074092> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W3012074092 abstract "Author(s): Morgan, E. Timothy | Abstract: RGA is an interpreter for a special language designed for the analysis of reachability graphs, or control flow graphs, generated from Petri nets. Although in some cases the reachability graph can become too large to be tractable, or can even be infinite, many interesting problems exist whose reachability graphs are of reasonable size. In RGA, the user has access to the names of the places in the net, and to the states of the reachability graph. The structure of the graph is also available through functions which return the sets of successor or predecessor states of a state and the transition-firings connecting the states. The RGA language allows dynamic typing of identifiers, recursion, and function and operator overloading. Rather than providing a number of predefined analysis functions, RGA provides primitive functions which allow the user to conduct complex analyses with little programming effort. RGA is part of a suite of tools, called P-NUT, intended to facilitate the analysis of concurrent systems described by Petri nets." @default.
- W3012074092 created "2020-03-23" @default.
- W3012074092 creator A5038758120 @default.
- W3012074092 date "1987-01-13" @default.
- W3012074092 modified "2023-09-27" @default.
- W3012074092 title "RGA users manual : version 2.3" @default.
- W3012074092 cites W1535547959 @default.
- W3012074092 hasPublicationYear "1987" @default.
- W3012074092 type Work @default.
- W3012074092 sameAs 3012074092 @default.
- W3012074092 citedByCount "1" @default.
- W3012074092 crossrefType "journal-article" @default.
- W3012074092 hasAuthorship W3012074092A5038758120 @default.
- W3012074092 hasConcept C132525143 @default.
- W3012074092 hasConcept C136643341 @default.
- W3012074092 hasConcept C154504017 @default.
- W3012074092 hasConcept C199360897 @default.
- W3012074092 hasConcept C2777669093 @default.
- W3012074092 hasConcept C38677869 @default.
- W3012074092 hasConcept C41008148 @default.
- W3012074092 hasConcept C80444323 @default.
- W3012074092 hasConceptScore W3012074092C132525143 @default.
- W3012074092 hasConceptScore W3012074092C136643341 @default.
- W3012074092 hasConceptScore W3012074092C154504017 @default.
- W3012074092 hasConceptScore W3012074092C199360897 @default.
- W3012074092 hasConceptScore W3012074092C2777669093 @default.
- W3012074092 hasConceptScore W3012074092C38677869 @default.
- W3012074092 hasConceptScore W3012074092C41008148 @default.
- W3012074092 hasConceptScore W3012074092C80444323 @default.
- W3012074092 hasLocation W30120740921 @default.
- W3012074092 hasOpenAccess W3012074092 @default.
- W3012074092 hasPrimaryLocation W30120740921 @default.
- W3012074092 hasRelatedWork W1486062794 @default.
- W3012074092 hasRelatedWork W1500892147 @default.
- W3012074092 hasRelatedWork W1512067769 @default.
- W3012074092 hasRelatedWork W1549147858 @default.
- W3012074092 hasRelatedWork W1555216982 @default.
- W3012074092 hasRelatedWork W1804120408 @default.
- W3012074092 hasRelatedWork W1948228729 @default.
- W3012074092 hasRelatedWork W1983860528 @default.
- W3012074092 hasRelatedWork W2056620505 @default.
- W3012074092 hasRelatedWork W2072621429 @default.
- W3012074092 hasRelatedWork W2147766212 @default.
- W3012074092 hasRelatedWork W2197530867 @default.
- W3012074092 hasRelatedWork W2521002357 @default.
- W3012074092 hasRelatedWork W2573579185 @default.
- W3012074092 hasRelatedWork W2616408534 @default.
- W3012074092 hasRelatedWork W2731851135 @default.
- W3012074092 hasRelatedWork W2912166712 @default.
- W3012074092 hasRelatedWork W2913899598 @default.
- W3012074092 hasRelatedWork W2950258814 @default.
- W3012074092 hasRelatedWork W3012436332 @default.
- W3012074092 isParatext "false" @default.
- W3012074092 isRetracted "false" @default.
- W3012074092 magId "3012074092" @default.
- W3012074092 workType "article" @default.