10% OFF

Coloured Petri Nets eBook

Modelling And Validation Of Concurrent Systems

by Lars M. Kristensen e Kurt Jensen
language: english
Publisher: Springer Berlin Heidelberg, June of 2009 ‧
71,54€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. This book introduces the constructs of the CPN modelling language and presents the related analysis methods. It provides a comprehensive road map for the practical use of CPN.

Coloured Petri Nets

Modelling And Validation Of Concurrent Systems

by Lars M. Kristensen e Kurt Jensen

Property Description
ISBN: 9783642002847
Publisher: Springer Berlin Heidelberg
Release Date: June of 2009
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Computer Science
Categories: eBooks in English > Computing > Schedule
eBooks in English > Computing > Hardware
EAN: 9783642002847

BOOKS FROM THE SAME COLLECTION