Matches in SemOpenAlex for { <https://semopenalex.org/work/W2052244743> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2052244743 abstract "It is well known that the use of a modular approach for modeling has many advantages: it allows the modeler to consider different parts of the model independently of one another. A modular approach to analysis is also attractive: it often dramatically decreases the complexity of the analysis task. To create Petri net models of large systems, four bottom-up techniques, consisting of sharing operation, synchronous operation, self-loops connection as well as inhibitor-arc connection, have been developed. This paper focus on the concurrent behavior relation in self-loops connections of Petri net systems. First, for the property of dynamic invariance we show that it is possible to decide dynamic invariance of the global system from invariance of the individual modules. Second, for reversibility property we show that it is possible to construct reversibility of total modular system from reversibility of the individual modules without unfolding to the entire state space. Finally, we present some examples to illustrate the effectiveness of our approaches. The advantages of our approaches are in the context of concurrent language and can synthesize Petri net systems beyond asymmetric choice nets." @default.
- W2052244743 created "2016-06-24" @default.
- W2052244743 creator A5023807441 @default.
- W2052244743 date "2013-02-01" @default.
- W2052244743 modified "2023-09-26" @default.
- W2052244743 title "Modular Reversibility Analysis in Self-loops Connections of Petri Net Systems" @default.
- W2052244743 cites W107729684 @default.
- W2052244743 cites W1843129397 @default.
- W2052244743 cites W1996109622 @default.
- W2052244743 cites W2097948904 @default.
- W2052244743 cites W2100003513 @default.
- W2052244743 cites W2110598077 @default.
- W2052244743 cites W2119259610 @default.
- W2052244743 cites W2129686603 @default.
- W2052244743 cites W2141563078 @default.
- W2052244743 cites W2160138402 @default.
- W2052244743 cites W2160376434 @default.
- W2052244743 cites W2161634316 @default.
- W2052244743 cites W2162066542 @default.
- W2052244743 cites W2163258361 @default.
- W2052244743 doi "https://doi.org/10.4304/jnw.8.2.493-500" @default.
- W2052244743 hasPublicationYear "2013" @default.
- W2052244743 type Work @default.
- W2052244743 sameAs 2052244743 @default.
- W2052244743 citedByCount "0" @default.
- W2052244743 crossrefType "journal-article" @default.
- W2052244743 hasAuthorship W2052244743A5023807441 @default.
- W2052244743 hasConcept C101468663 @default.
- W2052244743 hasConcept C120314980 @default.
- W2052244743 hasConcept C14166107 @default.
- W2052244743 hasConcept C197551870 @default.
- W2052244743 hasConcept C199360897 @default.
- W2052244743 hasConcept C2524010 @default.
- W2052244743 hasConcept C33923547 @default.
- W2052244743 hasConcept C38677869 @default.
- W2052244743 hasConcept C41008148 @default.
- W2052244743 hasConceptScore W2052244743C101468663 @default.
- W2052244743 hasConceptScore W2052244743C120314980 @default.
- W2052244743 hasConceptScore W2052244743C14166107 @default.
- W2052244743 hasConceptScore W2052244743C197551870 @default.
- W2052244743 hasConceptScore W2052244743C199360897 @default.
- W2052244743 hasConceptScore W2052244743C2524010 @default.
- W2052244743 hasConceptScore W2052244743C33923547 @default.
- W2052244743 hasConceptScore W2052244743C38677869 @default.
- W2052244743 hasConceptScore W2052244743C41008148 @default.
- W2052244743 hasIssue "2" @default.
- W2052244743 hasLocation W20522447431 @default.
- W2052244743 hasOpenAccess W2052244743 @default.
- W2052244743 hasPrimaryLocation W20522447431 @default.
- W2052244743 hasRelatedWork W1579153100 @default.
- W2052244743 hasRelatedWork W1586678711 @default.
- W2052244743 hasRelatedWork W2134148408 @default.
- W2052244743 hasRelatedWork W2168097987 @default.
- W2052244743 hasRelatedWork W2369413271 @default.
- W2052244743 hasRelatedWork W2371623873 @default.
- W2052244743 hasRelatedWork W2753989447 @default.
- W2052244743 hasRelatedWork W2187735912 @default.
- W2052244743 hasRelatedWork W3022518596 @default.
- W2052244743 hasRelatedWork W30357418 @default.
- W2052244743 hasVolume "8" @default.
- W2052244743 isParatext "false" @default.
- W2052244743 isRetracted "false" @default.
- W2052244743 magId "2052244743" @default.
- W2052244743 workType "article" @default.