Alle Kategorien
Bücher
Bestseller Hardcover
Bestseller Taschenbuch
Bestseller Autor
Persönlichkeitsentwicklung
Mangas
Finanzbücher
Selbstfindung
Essen & Trinken
Englischsprachige Bücher
Märchen & Sagen
Krimis & Thriller
Neuerscheinungen
Ratgeber
Motivationsbücher
WAS IST WAS
Wieso? Weshalb? Warum?
BookTok
Schule & Lernen
Schulbücher bestellen
Berufsschulbücher
Neuerscheinungen
Kreativität & Do it yourself
Gesellschaftsspiele
Bestseller
Brettspiele
Geschicklichkeitsspiele
EXIT - Das Spiel
Neuerscheinungen
Kalender
Adventskalender
Notizkalender
Tageskalender
Wochenkalender
Monatskalender
Motivkalender
Hörbücher
Neuerscheinungen
Themenwelt
Puzzlespiele
Halloween
Adventskalender
Winterwonderland
Autor des Monats
Asterix
Valentinstag
Frühlingserwachen
Warrior Cats
Black Dagger
Fast & Furious
Robert Hunter
Midnight Breed
Harry Potter
David Hunter
Herr der Ringe
Ostern
Tonies
tiptoi
0,00 €*
Cover: 9783843361132 | Algebras of coloured/ Petri nets | Franck Pommereau | Taschenbuch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Algebras of coloured/ Petri nets
and their applications to modelling and verification
Taschenbuch von Franck Pommereau
Sprache: Englisch

40,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
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.
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.
Über den Autor
Franck 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.
Details
Erscheinungsjahr: 2010
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: 92 S.
ISBN-13: 9783843361132
ISBN-10: 3843361134
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Pommereau, Franck
Hersteller: LAP LAMBERT Academic Publishing
Verantwortliche Person für die EU: LAP Lambert Academic Publishing, Brivibas Gatve 197, ?-1039 Riga, customerservice@vdm-vsg.de
Maße: 220 x 150 x 6 mm
Von/Mit: Franck Pommereau
Erscheinungsdatum: 05.10.2010
Gewicht: 0,155 kg
Artikel-ID: 107263934
Über den Autor
Franck 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.
Details
Erscheinungsjahr: 2010
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: 92 S.
ISBN-13: 9783843361132
ISBN-10: 3843361134
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Pommereau, Franck
Hersteller: LAP LAMBERT Academic Publishing
Verantwortliche Person für die EU: LAP Lambert Academic Publishing, Brivibas Gatve 197, ?-1039 Riga, customerservice@vdm-vsg.de
Maße: 220 x 150 x 6 mm
Von/Mit: Franck Pommereau
Erscheinungsdatum: 05.10.2010
Gewicht: 0,155 kg
Artikel-ID: 107263934
Sicherheitshinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...