Matches in SemOpenAlex for { <https://semopenalex.org/work/W2245183920> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2245183920 startingPage "28" @default.
- W2245183920 abstract "Petri Nets are a tool for the modelling and study of concurrent systems. Since its introduction in 1962 by C.A. Petri, Petri Net theory and applications have developed considerably. It is much used by researchers for systems performance evaluation, and protocol specification and verification. Their use for the analysis and design of real-time systems is advocated here. The methodology involves firstly the representation of the essential interaction features of a system with a Petri Net model. Then various analysis techniques can be applied to the net to extract information about desirable and undesirable behaviour, so as to ascertain the feasibility of a design, or correct and improve upon it. A time-augmented Petri Net approach is also presented, and its potential illustrated by formulating a 2-stage decomposition technique to determine cycle time bounds for cyclical systems." @default.
- W2245183920 created "2016-06-24" @default.
- W2245183920 creator A5006171704 @default.
- W2245183920 creator A5025870029 @default.
- W2245183920 creator A5049421085 @default.
- W2245183920 date "1985-01-01" @default.
- W2245183920 modified "2023-09-23" @default.
- W2245183920 title "Petri Net Methods for Studying Real-time, Computer-based Systems" @default.
- W2245183920 hasPublicationYear "1985" @default.
- W2245183920 type Work @default.
- W2245183920 sameAs 2245183920 @default.
- W2245183920 citedByCount "2" @default.
- W2245183920 crossrefType "proceedings-article" @default.
- W2245183920 hasAuthorship W2245183920A5006171704 @default.
- W2245183920 hasAuthorship W2245183920A5025870029 @default.
- W2245183920 hasAuthorship W2245183920A5049421085 @default.
- W2245183920 hasConcept C120314980 @default.
- W2245183920 hasConcept C124681953 @default.
- W2245183920 hasConcept C136155141 @default.
- W2245183920 hasConcept C142724271 @default.
- W2245183920 hasConcept C146763376 @default.
- W2245183920 hasConcept C17744445 @default.
- W2245183920 hasConcept C18903297 @default.
- W2245183920 hasConcept C197551870 @default.
- W2245183920 hasConcept C199539241 @default.
- W2245183920 hasConcept C204787440 @default.
- W2245183920 hasConcept C2776359362 @default.
- W2245183920 hasConcept C2780385302 @default.
- W2245183920 hasConcept C38677869 @default.
- W2245183920 hasConcept C41008148 @default.
- W2245183920 hasConcept C54355233 @default.
- W2245183920 hasConcept C71924100 @default.
- W2245183920 hasConcept C86803240 @default.
- W2245183920 hasConcept C94625758 @default.
- W2245183920 hasConceptScore W2245183920C120314980 @default.
- W2245183920 hasConceptScore W2245183920C124681953 @default.
- W2245183920 hasConceptScore W2245183920C136155141 @default.
- W2245183920 hasConceptScore W2245183920C142724271 @default.
- W2245183920 hasConceptScore W2245183920C146763376 @default.
- W2245183920 hasConceptScore W2245183920C17744445 @default.
- W2245183920 hasConceptScore W2245183920C18903297 @default.
- W2245183920 hasConceptScore W2245183920C197551870 @default.
- W2245183920 hasConceptScore W2245183920C199539241 @default.
- W2245183920 hasConceptScore W2245183920C204787440 @default.
- W2245183920 hasConceptScore W2245183920C2776359362 @default.
- W2245183920 hasConceptScore W2245183920C2780385302 @default.
- W2245183920 hasConceptScore W2245183920C38677869 @default.
- W2245183920 hasConceptScore W2245183920C41008148 @default.
- W2245183920 hasConceptScore W2245183920C54355233 @default.
- W2245183920 hasConceptScore W2245183920C71924100 @default.
- W2245183920 hasConceptScore W2245183920C86803240 @default.
- W2245183920 hasConceptScore W2245183920C94625758 @default.
- W2245183920 hasLocation W22451839201 @default.
- W2245183920 hasOpenAccess W2245183920 @default.
- W2245183920 hasPrimaryLocation W22451839201 @default.
- W2245183920 hasRelatedWork W125992398 @default.
- W2245183920 hasRelatedWork W1594681431 @default.
- W2245183920 hasRelatedWork W1982944253 @default.
- W2245183920 hasRelatedWork W1983256062 @default.
- W2245183920 hasRelatedWork W1983422694 @default.
- W2245183920 hasRelatedWork W1997575049 @default.
- W2245183920 hasRelatedWork W2028067644 @default.
- W2245183920 hasRelatedWork W2057714466 @default.
- W2245183920 hasRelatedWork W2059860335 @default.
- W2245183920 hasRelatedWork W2099437054 @default.
- W2245183920 hasRelatedWork W2108027981 @default.
- W2245183920 hasRelatedWork W2110725381 @default.
- W2245183920 hasRelatedWork W2120490041 @default.
- W2245183920 hasRelatedWork W2128175623 @default.
- W2245183920 hasRelatedWork W2136934815 @default.
- W2245183920 hasRelatedWork W2145751598 @default.
- W2245183920 hasRelatedWork W2211349599 @default.
- W2245183920 hasRelatedWork W2367603274 @default.
- W2245183920 hasRelatedWork W2368773926 @default.
- W2245183920 hasRelatedWork W2389928396 @default.
- W2245183920 isParatext "false" @default.
- W2245183920 isRetracted "false" @default.
- W2245183920 magId "2245183920" @default.
- W2245183920 workType "article" @default.