Matches in SemOpenAlex for { <https://semopenalex.org/work/W2968111954> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2968111954 abstract "Coloured Petri nets are a formal method that allows to create sophisticated event-driven models. In addition, there exists a software tool, called CPN Tools, which provides a support for creation, simulation and state space-based verification of CPN models. An interesting feature of CPN Tools is that it uses CPN ML, a slightly modified version of the SML functional language, for data manipulation. In this chapter we describe basic concepts of Coloured Petri nets (CPN), SML and CPN ML and by means of an example illustrate how CPN ML can be used to build a concrete, timed CPN model from an abstract, low-level Petri net model in such a way that the structure of the abstract model is preserved. We also explore possibilities of already existing SML code utilization in CPN models." @default.
- W2968111954 created "2019-08-22" @default.
- W2968111954 creator A5001998838 @default.
- W2968111954 date "2019-01-01" @default.
- W2968111954 modified "2023-10-14" @default.
- W2968111954 title "Functional Languages in Design of Coloured Petri Nets Models" @default.
- W2968111954 cites W1576317809 @default.
- W2968111954 cites W1768076797 @default.
- W2968111954 cites W1829244603 @default.
- W2968111954 cites W4241212268 @default.
- W2968111954 cites W4244074832 @default.
- W2968111954 cites W4249484115 @default.
- W2968111954 doi "https://doi.org/10.1007/978-3-030-28346-9_6" @default.
- W2968111954 hasPublicationYear "2019" @default.
- W2968111954 type Work @default.
- W2968111954 sameAs 2968111954 @default.
- W2968111954 citedByCount "0" @default.
- W2968111954 crossrefType "book-chapter" @default.
- W2968111954 hasAuthorship W2968111954A5001998838 @default.
- W2968111954 hasConcept C105795698 @default.
- W2968111954 hasConcept C115903868 @default.
- W2968111954 hasConcept C121332964 @default.
- W2968111954 hasConcept C138885662 @default.
- W2968111954 hasConcept C177264268 @default.
- W2968111954 hasConcept C199360897 @default.
- W2968111954 hasConcept C2776401178 @default.
- W2968111954 hasConcept C2776760102 @default.
- W2968111954 hasConcept C2779662365 @default.
- W2968111954 hasConcept C33923547 @default.
- W2968111954 hasConcept C38677869 @default.
- W2968111954 hasConcept C41008148 @default.
- W2968111954 hasConcept C41895202 @default.
- W2968111954 hasConcept C62520636 @default.
- W2968111954 hasConcept C72434380 @default.
- W2968111954 hasConcept C80444323 @default.
- W2968111954 hasConceptScore W2968111954C105795698 @default.
- W2968111954 hasConceptScore W2968111954C115903868 @default.
- W2968111954 hasConceptScore W2968111954C121332964 @default.
- W2968111954 hasConceptScore W2968111954C138885662 @default.
- W2968111954 hasConceptScore W2968111954C177264268 @default.
- W2968111954 hasConceptScore W2968111954C199360897 @default.
- W2968111954 hasConceptScore W2968111954C2776401178 @default.
- W2968111954 hasConceptScore W2968111954C2776760102 @default.
- W2968111954 hasConceptScore W2968111954C2779662365 @default.
- W2968111954 hasConceptScore W2968111954C33923547 @default.
- W2968111954 hasConceptScore W2968111954C38677869 @default.
- W2968111954 hasConceptScore W2968111954C41008148 @default.
- W2968111954 hasConceptScore W2968111954C41895202 @default.
- W2968111954 hasConceptScore W2968111954C62520636 @default.
- W2968111954 hasConceptScore W2968111954C72434380 @default.
- W2968111954 hasConceptScore W2968111954C80444323 @default.
- W2968111954 hasLocation W29681119541 @default.
- W2968111954 hasOpenAccess W2968111954 @default.
- W2968111954 hasPrimaryLocation W29681119541 @default.
- W2968111954 hasRelatedWork W1492717267 @default.
- W2968111954 hasRelatedWork W1517948404 @default.
- W2968111954 hasRelatedWork W1522846680 @default.
- W2968111954 hasRelatedWork W1841167015 @default.
- W2968111954 hasRelatedWork W2062420902 @default.
- W2968111954 hasRelatedWork W2069719573 @default.
- W2968111954 hasRelatedWork W2104910381 @default.
- W2968111954 hasRelatedWork W2151994914 @default.
- W2968111954 hasRelatedWork W2178536058 @default.
- W2968111954 hasRelatedWork W3107163583 @default.
- W2968111954 isParatext "false" @default.
- W2968111954 isRetracted "false" @default.
- W2968111954 magId "2968111954" @default.
- W2968111954 workType "book-chapter" @default.