Matches in SemOpenAlex for { <https://semopenalex.org/work/W3033442022> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W3033442022 abstract "This document surveys my research work about a framework of composable coloured Petri nets. This framework is organised around a core model of coloured Petri nets that can be extended with various features: control flow, synchronous communication, exceptions , threads, functions and time. Extensions are made in such a way that the underlying model of coloured Petri net is preserved and the usual analysis tools and techniques can still be used. However, specific verifications issues arise from the proposed approaches; we discuss these issues and propose solutions to enable for efficient verification. An implementation of the framework is also presented, as well as applications to the modelling and verification of security protocols, and to the modelling and analysis of biological regulatory networks in the context of developmental processes." @default.
- W3033442022 created "2020-06-12" @default.
- W3033442022 creator A5069395164 @default.
- W3033442022 date "2010-10-05" @default.
- W3033442022 modified "2023-09-25" @default.
- W3033442022 title "Algebras of coloured/ Petri nets: and their applications to modelling and verification" @default.
- W3033442022 hasPublicationYear "2010" @default.
- W3033442022 type Work @default.
- W3033442022 sameAs 3033442022 @default.
- W3033442022 citedByCount "1" @default.
- W3033442022 countsByYear W30334420222012 @default.
- W3033442022 crossrefType "book" @default.
- W3033442022 hasAuthorship W3033442022A5069395164 @default.
- W3033442022 hasConcept C110251889 @default.
- W3033442022 hasConcept C115903868 @default.
- W3033442022 hasConcept C120314980 @default.
- W3033442022 hasConcept C134306372 @default.
- W3033442022 hasConcept C136155141 @default.
- W3033442022 hasConcept C146763376 @default.
- W3033442022 hasConcept C151730666 @default.
- W3033442022 hasConcept C160191386 @default.
- W3033442022 hasConcept C197551870 @default.
- W3033442022 hasConcept C199360897 @default.
- W3033442022 hasConcept C2779343474 @default.
- W3033442022 hasConcept C2780366209 @default.
- W3033442022 hasConcept C33923547 @default.
- W3033442022 hasConcept C38677869 @default.
- W3033442022 hasConcept C41008148 @default.
- W3033442022 hasConcept C54355233 @default.
- W3033442022 hasConcept C80444323 @default.
- W3033442022 hasConcept C86803240 @default.
- W3033442022 hasConceptScore W3033442022C110251889 @default.
- W3033442022 hasConceptScore W3033442022C115903868 @default.
- W3033442022 hasConceptScore W3033442022C120314980 @default.
- W3033442022 hasConceptScore W3033442022C134306372 @default.
- W3033442022 hasConceptScore W3033442022C136155141 @default.
- W3033442022 hasConceptScore W3033442022C146763376 @default.
- W3033442022 hasConceptScore W3033442022C151730666 @default.
- W3033442022 hasConceptScore W3033442022C160191386 @default.
- W3033442022 hasConceptScore W3033442022C197551870 @default.
- W3033442022 hasConceptScore W3033442022C199360897 @default.
- W3033442022 hasConceptScore W3033442022C2779343474 @default.
- W3033442022 hasConceptScore W3033442022C2780366209 @default.
- W3033442022 hasConceptScore W3033442022C33923547 @default.
- W3033442022 hasConceptScore W3033442022C38677869 @default.
- W3033442022 hasConceptScore W3033442022C41008148 @default.
- W3033442022 hasConceptScore W3033442022C54355233 @default.
- W3033442022 hasConceptScore W3033442022C80444323 @default.
- W3033442022 hasConceptScore W3033442022C86803240 @default.
- W3033442022 hasLocation W30334420221 @default.
- W3033442022 hasOpenAccess W3033442022 @default.
- W3033442022 hasPrimaryLocation W30334420221 @default.
- W3033442022 hasRelatedWork W1502896170 @default.
- W3033442022 hasRelatedWork W1566249614 @default.
- W3033442022 hasRelatedWork W1571401538 @default.
- W3033442022 hasRelatedWork W1571725816 @default.
- W3033442022 hasRelatedWork W1577150716 @default.
- W3033442022 hasRelatedWork W1584758696 @default.
- W3033442022 hasRelatedWork W1690314354 @default.
- W3033442022 hasRelatedWork W1768076797 @default.
- W3033442022 hasRelatedWork W2042818826 @default.
- W3033442022 hasRelatedWork W2058133924 @default.
- W3033442022 hasRelatedWork W2101452215 @default.
- W3033442022 hasRelatedWork W2142247183 @default.
- W3033442022 hasRelatedWork W21738827 @default.
- W3033442022 hasRelatedWork W2414463920 @default.
- W3033442022 hasRelatedWork W2516202469 @default.
- W3033442022 hasRelatedWork W2772013175 @default.
- W3033442022 hasRelatedWork W2794566486 @default.
- W3033442022 hasRelatedWork W597347111 @default.
- W3033442022 hasRelatedWork W2285444239 @default.
- W3033442022 hasRelatedWork W4629738 @default.
- W3033442022 isParatext "false" @default.
- W3033442022 isRetracted "false" @default.
- W3033442022 magId "3033442022" @default.
- W3033442022 workType "book" @default.