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

Abstract:

This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN).  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(2)

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://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/petri_nets> ; # Petri nets
    schema:alternateName "Colored Petri nets" ;
    schema:bookEdition "2nd ed." ;
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "1996/" ;
    schema:creator <http://viaf.org/viaf/233490753> ; # 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://link.springer.com/10.1007/978-3-662-03241-1> ;
    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#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://viaf.org/viaf/233490753> # Kurt Jensen
    a schema:Person ;
    schema:birthDate "1950" ;
    schema:familyName "Jensen" ;
    schema:givenName "Kurt" ;
    schema:givenName "K." ;
    schema:name "Kurt Jensen" ;
    .

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