Coloured Petri Nets [electronic resource] : Basic Concepts, Analysis Methods and Practical Use Volume 1 /
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such a way that it also becomes attractive to readers who are more interested in applications than the underlying mathematics. This means that a large part of the book is written in a style which is closer to an engineering textbook (or a users' manual) than it is to a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model (i. e. , hierarchical CP-nets) and the basic concepts (e. g. , the different behavioural properties such as deadlocks, fair ness and home markings). It gives a detailed presentation of many smaIl exam ples and a brief overview of some industrial applications. It introduces the for mal analysis methods. FinaIly, it contains a description of a set of CPN tools which support the practical use of CP-nets.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
1992
|
Subjects: | Computer science., Software engineering., Computer simulation., Computer Science., Software Engineering., Simulation and Modeling., |
Online Access: | http://dx.doi.org/10.1007/978-3-662-06289-0 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:197806 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1978062018-07-30T23:24:02ZColoured Petri Nets [electronic resource] : Basic Concepts, Analysis Methods and Practical Use Volume 1 / Jensen, Kurt. author. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,1992.engThis book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such a way that it also becomes attractive to readers who are more interested in applications than the underlying mathematics. This means that a large part of the book is written in a style which is closer to an engineering textbook (or a users' manual) than it is to a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model (i. e. , hierarchical CP-nets) and the basic concepts (e. g. , the different behavioural properties such as deadlocks, fair ness and home markings). It gives a detailed presentation of many smaIl exam ples and a brief overview of some industrial applications. It introduces the for mal analysis methods. FinaIly, it contains a description of a set of CPN tools which support the practical use of CP-nets.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.This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such a way that it also becomes attractive to readers who are more interested in applications than the underlying mathematics. This means that a large part of the book is written in a style which is closer to an engineering textbook (or a users' manual) than it is to a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model (i. e. , hierarchical CP-nets) and the basic concepts (e. g. , the different behavioural properties such as deadlocks, fair ness and home markings). It gives a detailed presentation of many smaIl exam ples and a brief overview of some industrial applications. It introduces the for mal analysis methods. FinaIly, it contains a description of a set of CPN tools which support the practical use of CP-nets.Computer science.Software engineering.Computer simulation.Computer Science.Software Engineering.Simulation and Modeling.Springer eBookshttp://dx.doi.org/10.1007/978-3-662-06289-0URN:ISBN:9783662062890 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Software engineering. Computer simulation. Computer Science. Software Engineering. Simulation and Modeling. Computer science. Software engineering. Computer simulation. Computer Science. Software Engineering. Simulation and Modeling. |
spellingShingle |
Computer science. Software engineering. Computer simulation. Computer Science. Software Engineering. Simulation and Modeling. Computer science. Software engineering. Computer simulation. Computer Science. Software Engineering. Simulation and Modeling. Jensen, Kurt. author. SpringerLink (Online service) Coloured Petri Nets [electronic resource] : Basic Concepts, Analysis Methods and Practical Use Volume 1 / |
description |
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such a way that it also becomes attractive to readers who are more interested in applications than the underlying mathematics. This means that a large part of the book is written in a style which is closer to an engineering textbook (or a users' manual) than it is to a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model (i. e. , hierarchical CP-nets) and the basic concepts (e. g. , the different behavioural properties such as deadlocks, fair ness and home markings). It gives a detailed presentation of many smaIl exam ples and a brief overview of some industrial applications. It introduces the for mal analysis methods. FinaIly, it contains a description of a set of CPN tools which support the practical use of CP-nets. |
format |
Texto |
topic_facet |
Computer science. Software engineering. Computer simulation. Computer Science. Software Engineering. Simulation and Modeling. |
author |
Jensen, Kurt. author. SpringerLink (Online service) |
author_facet |
Jensen, Kurt. author. SpringerLink (Online service) |
author_sort |
Jensen, Kurt. author. |
title |
Coloured Petri Nets [electronic resource] : Basic Concepts, Analysis Methods and Practical Use Volume 1 / |
title_short |
Coloured Petri Nets [electronic resource] : Basic Concepts, Analysis Methods and Practical Use Volume 1 / |
title_full |
Coloured Petri Nets [electronic resource] : Basic Concepts, Analysis Methods and Practical Use Volume 1 / |
title_fullStr |
Coloured Petri Nets [electronic resource] : Basic Concepts, Analysis Methods and Practical Use Volume 1 / |
title_full_unstemmed |
Coloured Petri Nets [electronic resource] : Basic Concepts, Analysis Methods and Practical Use Volume 1 / |
title_sort |
coloured petri nets [electronic resource] : basic concepts, analysis methods and practical use volume 1 / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, |
publishDate |
1992 |
url |
http://dx.doi.org/10.1007/978-3-662-06289-0 |
work_keys_str_mv |
AT jensenkurtauthor colouredpetrinetselectronicresourcebasicconceptsanalysismethodsandpracticalusevolume1 AT springerlinkonlineservice colouredpetrinetselectronicresourcebasicconceptsanalysismethodsandpracticalusevolume1 |
_version_ |
1756267067161444352 |