Matches in SemOpenAlex for { <https://semopenalex.org/work/W47170492> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W47170492 abstract "An extension of Petri nets with a statechart-like AND/OR state hierarchy is defined and studied. The resulting net variant, statechart nets, is shown to coincide, under certain conditions, with a strict subclass of safe nets in which concurrency is structured. Next, syntactic constraints on statechart nets are defined that guarantee absence of deadlocks and livelocks. Such syntactic constraints are hard to give for ordinary Petri nets. Together, these results give more insight into the expressive power and usefulness of AND/OR state hierarchies, and into the differences between statecharts and Petri nets." @default.
- W47170492 created "2016-06-24" @default.
- W47170492 creator A5007187430 @default.
- W47170492 date "2005-01-01" @default.
- W47170492 modified "2023-09-27" @default.
- W47170492 title "On nets with structured concurrency" @default.
- W47170492 cites W151588920 @default.
- W47170492 cites W1527850187 @default.
- W47170492 cites W1551331198 @default.
- W47170492 cites W1584457353 @default.
- W47170492 cites W1821930315 @default.
- W47170492 cites W196640945 @default.
- W47170492 cites W1976132482 @default.
- W47170492 cites W1985660524 @default.
- W47170492 cites W1996109622 @default.
- W47170492 cites W1996760951 @default.
- W47170492 cites W2083567135 @default.
- W47170492 cites W2099529102 @default.
- W47170492 cites W2101583620 @default.
- W47170492 cites W2102936076 @default.
- W47170492 cites W2109653929 @default.
- W47170492 cites W2113355185 @default.
- W47170492 cites W2129395888 @default.
- W47170492 cites W2138848917 @default.
- W47170492 cites W2394903686 @default.
- W47170492 cites W2499642455 @default.
- W47170492 cites W2568081765 @default.
- W47170492 cites W2610898090 @default.
- W47170492 hasPublicationYear "2005" @default.
- W47170492 type Work @default.
- W47170492 sameAs 47170492 @default.
- W47170492 citedByCount "1" @default.
- W47170492 crossrefType "journal-article" @default.
- W47170492 hasAuthorship W47170492A5007187430 @default.
- W47170492 hasConcept C136155141 @default.
- W47170492 hasConcept C14166107 @default.
- W47170492 hasConcept C162324750 @default.
- W47170492 hasConcept C193702766 @default.
- W47170492 hasConcept C195818886 @default.
- W47170492 hasConcept C197551870 @default.
- W47170492 hasConcept C199360897 @default.
- W47170492 hasConcept C2524010 @default.
- W47170492 hasConcept C2778029271 @default.
- W47170492 hasConcept C31170391 @default.
- W47170492 hasConcept C33923547 @default.
- W47170492 hasConcept C34447519 @default.
- W47170492 hasConcept C38677869 @default.
- W47170492 hasConcept C41008148 @default.
- W47170492 hasConcept C48103436 @default.
- W47170492 hasConcept C80444323 @default.
- W47170492 hasConceptScore W47170492C136155141 @default.
- W47170492 hasConceptScore W47170492C14166107 @default.
- W47170492 hasConceptScore W47170492C162324750 @default.
- W47170492 hasConceptScore W47170492C193702766 @default.
- W47170492 hasConceptScore W47170492C195818886 @default.
- W47170492 hasConceptScore W47170492C197551870 @default.
- W47170492 hasConceptScore W47170492C199360897 @default.
- W47170492 hasConceptScore W47170492C2524010 @default.
- W47170492 hasConceptScore W47170492C2778029271 @default.
- W47170492 hasConceptScore W47170492C31170391 @default.
- W47170492 hasConceptScore W47170492C33923547 @default.
- W47170492 hasConceptScore W47170492C34447519 @default.
- W47170492 hasConceptScore W47170492C38677869 @default.
- W47170492 hasConceptScore W47170492C41008148 @default.
- W47170492 hasConceptScore W47170492C48103436 @default.
- W47170492 hasConceptScore W47170492C80444323 @default.
- W47170492 hasLocation W471704921 @default.
- W47170492 hasOpenAccess W47170492 @default.
- W47170492 hasPrimaryLocation W471704921 @default.
- W47170492 hasRelatedWork W117204298 @default.
- W47170492 hasRelatedWork W1539507080 @default.
- W47170492 hasRelatedWork W1820192641 @default.
- W47170492 hasRelatedWork W2050930613 @default.
- W47170492 hasRelatedWork W2142247183 @default.
- W47170492 hasRelatedWork W21738827 @default.
- W47170492 hasRelatedWork W2396868680 @default.
- W47170492 hasRelatedWork W2414410231 @default.
- W47170492 hasRelatedWork W2478028776 @default.
- W47170492 hasRelatedWork W2489391372 @default.
- W47170492 hasRelatedWork W2495475914 @default.
- W47170492 hasRelatedWork W2611890676 @default.
- W47170492 hasRelatedWork W2901841247 @default.
- W47170492 hasRelatedWork W2915557110 @default.
- W47170492 hasRelatedWork W2915794166 @default.
- W47170492 hasRelatedWork W2916064013 @default.
- W47170492 hasRelatedWork W2916743419 @default.
- W47170492 hasRelatedWork W2917693246 @default.
- W47170492 hasRelatedWork W2285444239 @default.
- W47170492 hasRelatedWork W3044307827 @default.
- W47170492 hasVolume "155" @default.
- W47170492 isParatext "false" @default.
- W47170492 isRetracted "false" @default.
- W47170492 magId "47170492" @default.
- W47170492 workType "article" @default.