Matches in SemOpenAlex for { <https://semopenalex.org/work/W1556849870> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1556849870 abstract "This work is concerned with the use of Design/CPN for the modelling and analysis of actorbased distributed real-time systems. Coloured Petri Nets are used to obtain a formal and operational model of a specified system, as part of an iterative development process. Functional and timing properties of an achieved CPN model can be validated by means of simulation and occurrence graphs. The resultant approach facilitates transformations from analysis down through to the design and implementation in object-oriented languages like C++ and Java." @default.
- W1556849870 created "2016-06-24" @default.
- W1556849870 creator A5035646499 @default.
- W1556849870 creator A5037490312 @default.
- W1556849870 date "2007-01-01" @default.
- W1556849870 modified "2023-09-25" @default.
- W1556849870 title "Using Design/CPN for the Schedulability Analysis of Actor Systems with Timing Constraints" @default.
- W1556849870 cites W1496047582 @default.
- W1556849870 cites W1499952151 @default.
- W1556849870 cites W1504697811 @default.
- W1556849870 cites W1534850333 @default.
- W1556849870 cites W1585741938 @default.
- W1556849870 cites W171150393 @default.
- W1556849870 cites W1969952687 @default.
- W1556849870 cites W1970967610 @default.
- W1556849870 cites W2029752508 @default.
- W1556849870 cites W2034290633 @default.
- W1556849870 cites W2036960743 @default.
- W1556849870 cites W2046255944 @default.
- W1556849870 cites W2051871373 @default.
- W1556849870 cites W2070552116 @default.
- W1556849870 cites W2120601740 @default.
- W1556849870 cites W2128090399 @default.
- W1556849870 cites W2150621030 @default.
- W1556849870 cites W2150959030 @default.
- W1556849870 cites W2618353388 @default.
- W1556849870 cites W2631739413 @default.
- W1556849870 cites W75810141 @default.
- W1556849870 hasPublicationYear "2007" @default.
- W1556849870 type Work @default.
- W1556849870 sameAs 1556849870 @default.
- W1556849870 citedByCount "0" @default.
- W1556849870 crossrefType "journal-article" @default.
- W1556849870 hasAuthorship W1556849870A5035646499 @default.
- W1556849870 hasAuthorship W1556849870A5037490312 @default.
- W1556849870 hasConcept C110251889 @default.
- W1556849870 hasConcept C115903868 @default.
- W1556849870 hasConcept C116253237 @default.
- W1556849870 hasConcept C120314980 @default.
- W1556849870 hasConcept C143587482 @default.
- W1556849870 hasConcept C149635348 @default.
- W1556849870 hasConcept C199360897 @default.
- W1556849870 hasConcept C31352089 @default.
- W1556849870 hasConcept C38677869 @default.
- W1556849870 hasConcept C41008148 @default.
- W1556849870 hasConcept C548217200 @default.
- W1556849870 hasConcept C75606506 @default.
- W1556849870 hasConcept C80444323 @default.
- W1556849870 hasConcept C93682380 @default.
- W1556849870 hasConcept C93729268 @default.
- W1556849870 hasConcept C98045186 @default.
- W1556849870 hasConceptScore W1556849870C110251889 @default.
- W1556849870 hasConceptScore W1556849870C115903868 @default.
- W1556849870 hasConceptScore W1556849870C116253237 @default.
- W1556849870 hasConceptScore W1556849870C120314980 @default.
- W1556849870 hasConceptScore W1556849870C143587482 @default.
- W1556849870 hasConceptScore W1556849870C149635348 @default.
- W1556849870 hasConceptScore W1556849870C199360897 @default.
- W1556849870 hasConceptScore W1556849870C31352089 @default.
- W1556849870 hasConceptScore W1556849870C38677869 @default.
- W1556849870 hasConceptScore W1556849870C41008148 @default.
- W1556849870 hasConceptScore W1556849870C548217200 @default.
- W1556849870 hasConceptScore W1556849870C75606506 @default.
- W1556849870 hasConceptScore W1556849870C80444323 @default.
- W1556849870 hasConceptScore W1556849870C93682380 @default.
- W1556849870 hasConceptScore W1556849870C93729268 @default.
- W1556849870 hasConceptScore W1556849870C98045186 @default.
- W1556849870 hasLocation W15568498701 @default.
- W1556849870 hasOpenAccess W1556849870 @default.
- W1556849870 hasPrimaryLocation W15568498701 @default.
- W1556849870 hasRelatedWork W1518542143 @default.
- W1556849870 hasRelatedWork W158142591 @default.
- W1556849870 hasRelatedWork W1885334297 @default.
- W1556849870 hasRelatedWork W2035749409 @default.
- W1556849870 hasRelatedWork W2043793148 @default.
- W1556849870 hasRelatedWork W2281148669 @default.
- W1556849870 hasRelatedWork W2359440183 @default.
- W1556849870 hasRelatedWork W2374078848 @default.
- W1556849870 hasRelatedWork W2391041044 @default.
- W1556849870 hasRelatedWork W2400150864 @default.
- W1556849870 hasRelatedWork W2754169418 @default.
- W1556849870 hasRelatedWork W2769533254 @default.
- W1556849870 hasRelatedWork W2939828071 @default.
- W1556849870 hasRelatedWork W2982355452 @default.
- W1556849870 hasRelatedWork W3034949148 @default.
- W1556849870 hasRelatedWork W3052431 @default.
- W1556849870 hasRelatedWork W3110648260 @default.
- W1556849870 hasRelatedWork W354811764 @default.
- W1556849870 hasRelatedWork W2186170290 @default.
- W1556849870 hasRelatedWork W2187357737 @default.
- W1556849870 isParatext "false" @default.
- W1556849870 isRetracted "false" @default.
- W1556849870 magId "1556849870" @default.
- W1556849870 workType "article" @default.