skip to content
Petri nets : an introduction Preview this item
ClosePreview this item
Checking...

Petri nets : an introduction

Author: Wolfgang Reisig
Publisher: Berlin ; New York : Springer-Verlag, 1985.
Series: EATCS monographs on theoretical computer science, v. 4.
Edition/Format:   Print book : EnglishView all editions and formats
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

Additional Physical Format: Online version:
Reisig, Wolfgang, 1950-
Petri nets.
Berlin ; New York : Springer-Verlag, 1985
(OCoLC)644381967
Document Type: Book
All Authors / Contributors: Wolfgang Reisig
ISBN: 0387137238 9780387137230 3540137238 9783540137238
OCLC Number: 11518943
Notes: Based on lectures given by the author at the Technical University of Aachen.
Translation of: Petrinetze.
Description: x, 161 pages : illustrations ; 25 cm.
Contents: 1. Introductory Examples and Basic Definitions.- 1.1 Examples from Different Areas.- 1.2 Examples from Logic Circuits and Operating Systems.- 1.3 Non-Sequential Programs.- 1.4 An Example for Systems Analysis.- 1.5 Some Basic Definitions.- 1.6 Summary and Overview.- Exercises for Chapter 1.- 1. Condition/Event-Systems.- 2. Nets Consisting of Conditions and Events.- 2.1 Cases and Steps.- 2.2 Condition/Event-Systems.- 2.3 Cyclic and Live Systems.- 2.4 Equivalence.- 2.5 Contact-Free C/E-Systems.- 2.6 Case Graphs.- Exercises for Chapter 2.- 3. Processes of Condition/Event-Systems.- 3.1 Partially Ordered Sets.- 3.2 Occurrence Nets.- 3.3 Processes.- 3.4 The Composition of Processes.- 3.5 Processes and Case Graphs.- Exercises for Chapter 3.- 4. Properties of Systems.- 4.1 Synchronic Distances.- 4.2 Some Quantitative Properties of Synchronic Distances.- 4.3 Synchronic Distances in Sequential Systems.- 4.4 Synchronic Distances in Cyclic Systems.- 4.5 Facts.- Exercises for Chapter 4.- 2. Place/Transition-Nets.- 5. Nets Consisting of Places and Transitions.- 5.1 Place/Transition-Nets.- 5.2 Linear Algebraic Representation.- 5.3 Coverability Graphs.- 5.4 Decision Procedures for Some Net Properties.- 5.5 Liveness.- Exercises for Chapter 5.- 6. Net Invariants.- 6.1 S-Invariants.- 6.2 Nets Covered by S-Invariants.- 6.3 The Verification of System Properties Using S-Invariants.- 6.4 Properties of a Sender-Receiver Model.- 6.5 A Seat-Reservation System.- 6.6 The Verification of Facts in C/E-Systems by Means of S-Invariants.- 6.7 T-Invariants.- Exercises for Chapter 6.- 7. Liveness Criteria for Special Classes of Nets.- 7.1 Marked Nets, Deadlocks and Traps.- 7.2 Free Choice Nets.- 7.3 Marked Graphs.- Exercises for Chapter 7.- 3. Nets with Individual Tokens.- 8. Predicate/Event-Nets.- 8.1 An Introductory Example.- 8.2 Predicate/Event-Nets.- 8.3 An Organization Scheme for Distributed Databases.- 8.4 Facts in P/E-Nets.- 8.5 A Normal Form for P/E-Nets.- Exercises for Chapter 8.- 9. Relation Nets.- 9.1 Introductory Examples.- 9.2 Relation Nets.- 9.3 The Translation of P/E-Nets into Relation Nets.- 9.4 Calculation with Multirelations.- 9.5 A Matrix Representation for Relation Nets.- 9.6 S-Invariants for Relation Nets.- 9.7 An Example for Applying S-Invariants: The Verification of Facts.- 9.8 Relation Net Schemes.- Appendix. Mathematical Notions and Notation.- I. Sets.- II. Relations.- III. Mappings, Functions.- IV. Partial Orders.- VII. Vectors and Matrices.- Further Reading.- 1. Some Landmarks in the Development of Net Theory.- 2. Conferences on Petri Nets.- 3. Text Books.- 4. Bibliographies.- 5. References to Chapter 2.- 6. References to Chapter 3.- 7. References to Chapter 4.- 8. References to Chapter 5.- 9. References to Chapter 6.- 10. References to Chapter 7.- 11. References to Chapter 8.- 12. References to Chapter 9.- 13. Modifications and Generalizations of Place/Transition-Nets.- 14. Applications.- 15. Implementation and Automatic Analysis of Nets.- 16. Related System Models.
Series Title: EATCS monographs on theoretical computer science, v. 4.
Other Titles: Petrinetze.
Responsibility: Wolfgang Reisig.

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/11518943> # Petri nets : an introduction
    a schema:CreativeWork, schema:Book ;
    bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/11518943#CreativeWork/unidentifiedOriginalWork> ; # Petrinetze.
    library:oclcnum "11518943" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2908432771#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2908432771#Topic/computabilidade_e_modelos_de_computacao> ; # Computabilidade E Modelos De Computacao
    schema:about <http://experiment.worldcat.org/entity/work/data/2908432771#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/2908432771#Topic/petri_reseaux_de> ; # Petri, Réseaux de
    schema:about <http://id.worldcat.org/fast/1059237> ; # Petri nets
    schema:about <http://dewey.info/class/511/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2908432771#Topic/reseau_petri> ; # réseau Petri
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/108265003> ; # Wolfgang Reisig
    schema:datePublished "1985" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2908432771> ; # Petrinetze.
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2908432771#Series/eatcs_monographs_on_theoretical_computer_science> ; # EATCS monographs on theoretical computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/644381967> ;
    schema:name "Petri nets : an introduction"@en ;
    schema:productID "11518943" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/11518943#PublicationEvent/berlin_new_york_springer_verlag_1985> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2908432771#Agent/springer_verlag> ; # Springer-Verlag
    schema:workExample <http://worldcat.org/isbn/9780387137230> ;
    schema:workExample <http://worldcat.org/isbn/9783540137238> ;
    umbel:isLike <http://d-nb.info/850055555> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/11518943> ;
    .


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/2908432771#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/2908432771#Series/eatcs_monographs_on_theoretical_computer_science> # EATCS monographs on theoretical computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/11518943> ; # Petri nets : an introduction
    schema:name "EATCS monographs on theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2908432771#Topic/computabilidade_e_modelos_de_computacao> # Computabilidade E Modelos De Computacao
    a schema:Intangible ;
    schema:name "Computabilidade E Modelos De Computacao"@en ;
    .

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

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

<http://viaf.org/viaf/108265003> # Wolfgang Reisig
    a schema:Person ;
    schema:birthDate "1950" ;
    schema:familyName "Reisig" ;
    schema:givenName "Wolfgang" ;
    schema:name "Wolfgang Reisig" ;
    .

<http://worldcat.org/entity/work/id/2908432771> # Petrinetze.
    schema:name "Petrinetze." ;
    .

<http://worldcat.org/isbn/9780387137230>
    a schema:ProductModel ;
    schema:isbn "0387137238" ;
    schema:isbn "9780387137230" ;
    .

<http://worldcat.org/isbn/9783540137238>
    a schema:ProductModel ;
    schema:isbn "3540137238" ;
    schema:isbn "9783540137238" ;
    .

<http://www.worldcat.org/oclc/644381967>
    a schema:CreativeWork ;
    rdfs:label "Petri nets." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/11518943> ; # Petri nets : an introduction
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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