This book presents a description of the theoretical and practical aspects of coloured Petri nets (CP-nets). It shows how CP-nets have been developed, from being a promising theoretical model to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems. The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. The book is also intended to attract readers who are more interested in applications than in ...
Read More
This book presents a description of the theoretical and practical aspects of coloured Petri nets (CP-nets). It shows how CP-nets have been developed, from being a promising theoretical model to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems. The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. The book is also intended to attract readers who are more interested in applications than in the underlying mathematics, and a large part of the book is written a style which is closer to an engineering textbook or a user manual than a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model and the basic concepts. It gives a detailed presentation of many applications. It introduces the formal analysis methods. Finally, it contains a description of a set of CP-nets. Most of the material in this volume is application oriented. its purpose is to teach the reader how to construct CP-net models and analyze them by means of simulation.
Read Less
Add this copy of Coloured Petri Nets: Basic Concepts, Analysis Methods to cart. $37.50, very good condition, Sold by Second Story Books rated 4.0 out of 5 stars, ships from Rockville, MD, UNITED STATES, published 1992 by Springer Verlag.
Edition:
1992, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
1992
Language:
English
Alibris ID:
17925377079
Shipping Options:
Standard Shipping: $4.99
Trackable Expedited: $9.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Book. Octavo, vii, x, 234 pages. In Very Good condition. Bound in the publisher's gray with red cloth bearing black and white lettering to the spine. Boards have mild shelf wear. Previous bookshop's sticker to the rear. Text block has extremely light wear to the edges. Illustrated. Volume one only. NOTE: Shelved in Netdesk Column F, ND-F. 1378453. FP New Rockville Stock.
Add this copy of Coloured Petri Nets: Basic Concepts, Analysis Methods to cart. $50.11, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1997 by Springer.
Add this copy of Coloured Petri Nets: Basic Concepts, Analysis Methods to cart. $83.80, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1997 by Springer.
Add this copy of Coloured Petri Nets: Basic Concepts, Analysis Methods, to cart. $99.90, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1992 by Springer-Verlag.
Edition:
1992, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of Coloured Petri Nets: Basic Concepts, Analysis Methods to cart. $103.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2011 by Springer.
Add this copy of Coloured Petri Nets: Basic Concepts, Analysis Methods to cart. $113.37, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2011 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 265 p. Monographs in Theoretical Computer Science. an Eatcs. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Coloured Petri Nets: Basic Concepts, Analysis Methods to cart. $121.92, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1997 by Springer.