skip to content
Coloured Petri nets : basic concepts, analysis methods, and practical use Preview this item
ClosePreview this item

Coloured Petri nets : basic concepts, analysis methods, and practical use

Author: K Jensen
Publisher: Berlin ; New York : Springer, ©1996-
Series: Monographs in theoretical computer science.
Edition/Format:   eBook : Document : English : 2nd edView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Getting this item's online copy... Getting this item's online copy...

Find a copy in the library

Getting this item's location and availability... Getting this item's location and availability...

WorldCat

Find it in libraries globally
Worldwide libraries own this item

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Jensen, K. (Kurt), 1950-
Coloured Petri nets.
Berlin ; New York : Springer, ©1996-
(DLC) 96013598
(OCoLC)34472558
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: K Jensen
ISBN: 9783662032411 3662032414
OCLC Number: 696254752
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
Responsibility: Kurt Jensen.

Abstract:

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 Retrieving notes about this item

Reviews

User-contributed reviews

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.