Kurt Jensen

(Author)

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1Paperback, 19 October 2010

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Turbo Shipping
Part of Series
Monographs in Theoretical Computer Science. an Eatcs
Part of Series
Monographs in Theoretical Computer Science. an Eatcs Series
Print Length
236 pages
Language
English
Publisher
Springer
Date Published
19 Oct 2010
ISBN-10
3642082432
ISBN-13
9783642082436

Description

This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de- veloped - from being a promising theoretical model to being a full-fledged lan- guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com- puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such a way that it also becomes attractive to readers who are more interested in applications than the underlying mathematics. This means that a large part of the book is written in a style which is closer to an engineering textbook (or a users' manual) than it is to a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model (i. e., hierarchical CP-nets) and the basic concepts (e. g., the different behavioural properties such as deadlocks, fair- ness and home markings). It gives a detailed presentation of many small exam- ples and a brief overview of some industrial applications. It introduces the for- mal analysis methods. Finally, it contains a description of a set of CPN tools which support the practical use of CP-nets.

Product Details

Author:
Kurt Jensen
Book Format:
Paperback
Country of Origin:
NL
Date Published:
19 October 2010
Dimensions:
23.39 x 15.6 x 1.35 cm
ISBN-10:
3642082432
ISBN-13:
9783642082436
Language:
English
Location:
Berlin, Heidelberg
Pages:
236
Publisher:
Weight:
358.34 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.