Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1

— —

Kurt Jensen

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 1

Kurt Jensen

$340.95 $273.14

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer-Verlag Berlin and Heidelberg GmbH & Co. K
25 March 1996

3D graphics & modelling; Utilities & tools; Software Engineering

Series: Monographs in Theoretical Computer Science. An EATCS Series

This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets. These CP-nets are shown to be a full-fledged language for the design, specification, simulation, validation and implementation of large software systems.

The introductory first volume contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. It gives a detailed presentation of many small examples and a brief overview of some industrial applications. The purpose of the book is to teach the reader how to construct CP-net models and analyse them by means of simulation. The book is also attractive to readers who are more interested in applications than in the underlying mathematics.

By: Kurt Jensen
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Country of Publication: Germany
Edition: Second Edition 1996
Dimensions: Height: 235mm, Width: 155mm, Spine: 15mm
Weight: 1.170kg
ISBN: 9783540609438
ISBN 10: 3540609431
Series: Monographs in Theoretical Computer Science. An EATCS Series
Pages: 236
Publication Date: 25 March 1996
Audience: College/higher education , Professional and scholarly , Further / Higher Education , Undergraduate
Format: Hardback
Publisher's Status: Active

1 Informal Introduction to Coloured Petri Nets.- 2 Formal Definition of Coloured Petri Nets.- 3 Hierarchical Coloured Petri Nets.- 4 Dynamic and Static Properties of Coloured Petri Nets.- 5 Formal Analysis of Coloured Petri Nets.- 6 Computer Tools for Coloured Petri Nets.- 7 Industrial Applications of Coloured Petri Nets.- References.