Algebras of coloured/ Petri nets
and their applications to modelling and verification
(Sprache: Englisch)
This book surveys more than ten years of 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...
Leider schon ausverkauft
versandkostenfrei
Buch
49.00 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Algebras of coloured/ Petri nets “
Klappentext zu „Algebras of coloured/ Petri nets “
This book surveys more than ten years of 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.
Autoren-Porträt von Franck Pommereau
Pommereau, FranckFranck Pommereau's research is since 1999 centred on the theme of algebras of coloured Petri nets. In 2002, he obtained a PhD in computing science from the University of Paris-East where he became a lecturer. In 2010, he obtained a professor position at the University of Évry and joined there the IBISC Lab.
Bibliographische Angaben
- Autor: Franck Pommereau
- 2010, 92 Seiten, Maße: 22 cm, Kartoniert (TB), Englisch
- Verlag: LAP Lambert Academic Publishing
- ISBN-10: 3843361134
- ISBN-13: 9783843361132
Sprache:
Englisch
Kommentar zu "Algebras of coloured/ Petri nets"
0 Gebrauchte Artikel zu „Algebras of coloured/ Petri nets“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Algebras of coloured/ Petri nets".
Kommentar verfassen