Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486212788> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1486212788 endingPage "258" @default.
- W1486212788 startingPage "239" @default.
- W1486212788 abstract "We introduce a graphically based formalism for parallel system designs, covering both functional and stochastic behaviour. This paper focuses on the combination in one formalism of characteristics of two major approaches to formalisms for concurrent systems, namely Process Algebras and Petri Nets. We define a general form of composition on nets with stochastic delays for transitions. This incorporates place and transition fusion. Then, following the general method of CCS, we define inference rules for deriving the behaviour of a composed net from the behaviour of its components. We give a number of examples to illustrate this synthesis of Petri Nets and Process Algebras.KeywordsInference RuleParallel CompositionStochastic DelayTransition FusionOuter TransitionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1486212788 created "2016-06-24" @default.
- W1486212788 creator A5086255000 @default.
- W1486212788 creator A5087150937 @default.
- W1486212788 date "2002-01-01" @default.
- W1486212788 modified "2023-09-25" @default.
- W1486212788 title "A Visual Formalism for the Composition of Stochastic Petri Nets" @default.
- W1486212788 cites W1494261652 @default.
- W1486212788 cites W1511971157 @default.
- W1486212788 cites W1604240241 @default.
- W1486212788 cites W2105749048 @default.
- W1486212788 cites W2121451727 @default.
- W1486212788 cites W2167302242 @default.
- W1486212788 cites W2639994736 @default.
- W1486212788 cites W4231119717 @default.
- W1486212788 cites W4231516425 @default.
- W1486212788 cites W4238818828 @default.
- W1486212788 cites W4244225419 @default.
- W1486212788 doi "https://doi.org/10.1007/3-540-46029-2_19" @default.
- W1486212788 hasPublicationYear "2002" @default.
- W1486212788 type Work @default.
- W1486212788 sameAs 1486212788 @default.
- W1486212788 citedByCount "2" @default.
- W1486212788 crossrefType "book-chapter" @default.
- W1486212788 hasAuthorship W1486212788A5086255000 @default.
- W1486212788 hasAuthorship W1486212788A5087150937 @default.
- W1486212788 hasConcept C11413529 @default.
- W1486212788 hasConcept C136155141 @default.
- W1486212788 hasConcept C142362112 @default.
- W1486212788 hasConcept C153349607 @default.
- W1486212788 hasConcept C154945302 @default.
- W1486212788 hasConcept C161771561 @default.
- W1486212788 hasConcept C171018156 @default.
- W1486212788 hasConcept C197551870 @default.
- W1486212788 hasConcept C2524010 @default.
- W1486212788 hasConcept C2776214188 @default.
- W1486212788 hasConcept C33923547 @default.
- W1486212788 hasConcept C38677869 @default.
- W1486212788 hasConcept C41008148 @default.
- W1486212788 hasConcept C558565934 @default.
- W1486212788 hasConcept C73301696 @default.
- W1486212788 hasConcept C80444323 @default.
- W1486212788 hasConceptScore W1486212788C11413529 @default.
- W1486212788 hasConceptScore W1486212788C136155141 @default.
- W1486212788 hasConceptScore W1486212788C142362112 @default.
- W1486212788 hasConceptScore W1486212788C153349607 @default.
- W1486212788 hasConceptScore W1486212788C154945302 @default.
- W1486212788 hasConceptScore W1486212788C161771561 @default.
- W1486212788 hasConceptScore W1486212788C171018156 @default.
- W1486212788 hasConceptScore W1486212788C197551870 @default.
- W1486212788 hasConceptScore W1486212788C2524010 @default.
- W1486212788 hasConceptScore W1486212788C2776214188 @default.
- W1486212788 hasConceptScore W1486212788C33923547 @default.
- W1486212788 hasConceptScore W1486212788C38677869 @default.
- W1486212788 hasConceptScore W1486212788C41008148 @default.
- W1486212788 hasConceptScore W1486212788C558565934 @default.
- W1486212788 hasConceptScore W1486212788C73301696 @default.
- W1486212788 hasConceptScore W1486212788C80444323 @default.
- W1486212788 hasLocation W14862127881 @default.
- W1486212788 hasOpenAccess W1486212788 @default.
- W1486212788 hasPrimaryLocation W14862127881 @default.
- W1486212788 hasRelatedWork W1481091958 @default.
- W1486212788 hasRelatedWork W1482603105 @default.
- W1486212788 hasRelatedWork W1493441784 @default.
- W1486212788 hasRelatedWork W1561280378 @default.
- W1486212788 hasRelatedWork W1571670941 @default.
- W1486212788 hasRelatedWork W1748598711 @default.
- W1486212788 hasRelatedWork W1827361369 @default.
- W1486212788 hasRelatedWork W1854108352 @default.
- W1486212788 hasRelatedWork W1990889043 @default.
- W1486212788 hasRelatedWork W1996887001 @default.
- W1486212788 hasRelatedWork W2027152011 @default.
- W1486212788 hasRelatedWork W2047193196 @default.
- W1486212788 hasRelatedWork W2107012521 @default.
- W1486212788 hasRelatedWork W2109890989 @default.
- W1486212788 hasRelatedWork W2113472818 @default.
- W1486212788 hasRelatedWork W2123421971 @default.
- W1486212788 hasRelatedWork W2123610695 @default.
- W1486212788 hasRelatedWork W2152378188 @default.
- W1486212788 hasRelatedWork W2170991150 @default.
- W1486212788 hasRelatedWork W3021038569 @default.
- W1486212788 isParatext "false" @default.
- W1486212788 isRetracted "false" @default.
- W1486212788 magId "1486212788" @default.
- W1486212788 workType "book-chapter" @default.