Getting this item's online copy...
Find a copy in the library
Getting this item's location and availability...
Find it in libraries globally
|Additional Physical Format:||Print version:
Jensen, K. (Kurt), 1950-
Coloured Petri nets.
Berlin ; New York : Springer, ©1996-
|Material Type:||Document, Internet resource|
|Document Type:||Internet Resource, Computer File|
|All Authors / Contributors:||
|Reproduction Notes:||Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2011. MiAaHDL|
|Description:||1 online resource (volumes <1>) : illustrations.|
|Details:||Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.|
|Contents:||Contiene: Vol. 1.|
|Series Title:||Monographs in theoretical computer science.|
|Other Titles:||Colored Petri nets|
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.
Retrieving notes about this item