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

Kurt Jensen

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

Research output: Book/anthology/dissertation/report › Book › Research

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.

Original language	English

Publisher	Springer
Edition	2. ed., 2. corr. printing
Number of pages	234
ISBN (Print)	3540609431, 3540555978, 0387555978, 9783540609438
Publication status	Published - 1997

Series	Monographs in theoretical computer science: an EATCS series
ISSN	1431-2654

Keywords

Informal Introduction to Coloured Petri Nets
Formal Definition of Coloured Petri Nets
Hierarchical Coloured Petri Nets
Dynamic and Static Properties
Formal Analysis
Computer Tools
Industrial Applications

Cite this

@book{9fc71fe0488d11df9806000ea68e967b,

title = "Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts",

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.",

keywords = "Informal Introduction to Coloured Petri Nets, Formal Definition of Coloured Petri Nets, Hierarchical Coloured Petri Nets, Dynamic and Static Properties, Formal Analysis, Computer Tools, Industrial Applications",

author = "Kurt Jensen",

year = "1997",

language = "English",

isbn = "3540609431",

series = "Monographs in theoretical computer science: an EATCS series",

publisher = "Springer",

address = "Netherlands",

edition = "2. ed., 2. corr. printing",

}

TY - BOOK

T1 - Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts

AU - Jensen, Kurt

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

KW - Informal Introduction to Coloured Petri Nets

KW - Formal Definition of Coloured Petri Nets

KW - Hierarchical Coloured Petri Nets

KW - Dynamic and Static Properties

KW - Formal Analysis

KW - Computer Tools

KW - Industrial Applications

M3 - Book

SN - 3540609431

SN - 3540555978

SN - 0387555978

SN - 9783540609438

T3 - Monographs in theoretical computer science: an EATCS series

BT - Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts

PB - Springer

ER -

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

Abstract

Keywords

Fingerprint

Cite this