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

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...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold 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.
More information:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks 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.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/696254752> # Coloured Petri nets : basic concepts, analysis methods, and practical use
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "696254752" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2278817098#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/1059237> ; # Petri nets
    schema:about <http://experiment.worldcat.org/entity/work/data/2278817098#Topic/reseau_petri> ; # réseau Petri
    schema:about <http://experiment.worldcat.org/entity/work/data/2278817098#Topic/petri_reseaux_de> ; # Petri, Réseaux de
    schema:about <http://dewey.info/class/005.1015115/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2278817098#Topic/reseau_petri_colore> ; # réseau Petri coloré
    schema:alternateName "Colored Petri nets" ;
    schema:bookEdition "2nd ed." ;
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "1996/" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/2278817098#Person/jensen_k_kurt_1950> ; # Kurt Jensen
    schema:datePublished "1996/9999" ;
    schema:description "Contiene: Vol. 1."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2278817098> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2278817098#Series/monographs_in_theoretical_computer_science> ; # Monographs in theoretical computer science.
    schema:isSimilarTo <http://www.worldcat.org/oclc/34472558> ;
    schema:name "Coloured Petri nets : basic concepts, analysis methods, and practical use"@en ;
    schema:productID "696254752" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/696254752#PublicationEvent/berlin_new_york_springer_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2278817098#Agent/springer> ; # Springer
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/34472558.html> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3098194> ;
    schema:url <http://dx.doi.org/10.1007/978-3-662-03241-1> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-662-03241-1> ;
    schema:workExample <http://worldcat.org/isbn/9783662032411> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/696254752> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/2278817098#Person/jensen_k_kurt_1950> # Kurt Jensen
    a schema:Person ;
    schema:birthDate "1950" ;
    schema:familyName "Jensen" ;
    schema:givenName "Kurt" ;
    schema:givenName "K." ;
    schema:name "Kurt Jensen" ;
    .

<http://experiment.worldcat.org/entity/work/data/2278817098#Series/monographs_in_theoretical_computer_science> # Monographs in theoretical computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/696254752> ; # Coloured Petri nets : basic concepts, analysis methods, and practical use
    schema:name "Monographs in theoretical computer science." ;
    schema:name "Monographs in theoretical computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/2278817098#Topic/petri_reseaux_de> # Petri, Réseaux de
    a schema:Intangible ;
    schema:name "Petri, Réseaux de"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2278817098#Topic/reseau_petri_colore> # réseau Petri coloré
    a schema:Intangible ;
    schema:name "réseau Petri coloré"@en ;
    .

<http://id.worldcat.org/fast/1059237> # Petri nets
    a schema:Intangible ;
    schema:name "Petri nets"@en ;
    .

<http://worldcat.org/isbn/9783662032411>
    a schema:ProductModel ;
    schema:isbn "3662032414" ;
    schema:isbn "9783662032411" ;
    .

<http://www.worldcat.org/oclc/34472558>
    a schema:CreativeWork ;
    rdfs:label "Coloured Petri nets." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/696254752> ; # Coloured Petri nets : basic concepts, analysis methods, and practical use
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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