Description: Coloured Petri Nets Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). Basic Concepts, Analysis Methods and Practical Use. Volume 2 Author(s): Kurt Jensen Format: Paperback Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783642082009, 978-3642082009 Synopsis This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to investigate dynamic properties of CP-nets. The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools. Some parts of the volume are theoretical while others are application oriented. The purpose of the volume is to teach the reader how to use the formal analysis methods, which does not require a deep understanding of the underlying mathematical theory.
Price: 71.52 GBP
Location: Aldershot
End Time: 2025-01-22T12:43:43.000Z
Shipping Cost: 39.26 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Coloured Petri Nets
Number of Pages: 177 Pages
Publication Name: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2
Language: English
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Item Height: 235 mm
Subject: Computer Science, Mathematics
Publication Year: 2010
Type: Textbook
Item Weight: 296 g
Author: Kurt Jensen
Item Width: 155 mm
Series: Monographs in Theoretical Computer Science. an Eatcs Series
Format: Paperback
