Algebras of coloured Petri nets and their applications to modelling and verification

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.
Keywords : Petri nets
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [134 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/tel-02309973
Contributor : Franck Pommereau <>
Submitted on : Wednesday, October 9, 2019 - 5:20:23 PM
Last modification on : Thursday, October 10, 2019 - 3:08:25 PM

File

Pom-HDR-2009.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02309973, version 1

Collections

Citation

Franck Pommereau. Algebras of coloured Petri nets and their applications to modelling and verification. Computer Science [cs]. Université de Paris-Est/Créteil, 2009. ⟨tel-02309973⟩

Share

Metrics

Record views

69

Files downloads

21