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.
General
| Imprint: |
Springer-Verlag
|
| Country of origin: |
Germany |
| Series: |
Monographs in Theoretical Computer Science. An EATCS Series |
| Release date: |
October 2010 |
| First published: |
1996 |
| Authors: |
Kurt Jensen
|
| Dimensions: |
235 x 155 x 14mm (L x W x T) |
| Format: |
Paperback
|
| Pages: |
236 |
| Edition: |
Softcover reprint of hardcover 2nd ed. 1996 |
| ISBN-13: |
978-3-642-08243-6 |
| Categories: |
Books >
Computing & IT >
Computer programming >
General
|
| LSN: |
3-642-08243-2 |
| Barcode: |
9783642082436 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
