skip to content
A primer in Petri net design Preview this item
ClosePreview this item
Checking...

A primer in Petri net design

Author: Wolfgang Reisig
Publisher: Berlin ; New York : Springer-Verlag, ©1992.
Series: Springer compass international.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Petri nets are useful as a requirements engineering method in many areas of data processing, including hardware, communication protocols, parallel programs and distributed data bases. The book  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Reisig, Wolfgang, 1950-
Primer in Petri net design.
Berlin ; New York : Springer-Verlag, ©1992
(OCoLC)556976918
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Wolfgang Reisig
ISBN: 3540520449 9783540520443 0387520449 9780387520445
OCLC Number: 24628481
Notes: Translation of: Systementwurf mit Netzen.
Description: xii, 120 pages : illustrations ; 25 cm.
Contents: 1 Principles of System Design with Nets.- 1.1 An Example.- 1.2 Passive and Active Components.- 1.3 The Change to Dynamic Behavior.- 1.4 Relationships Between Net Representations.- 2 Condition-Event Nets.- 2.1 An Example.- 2.2 Rules.- 2.3 Conflicts.- 2.4 Contacts and Their Avoidance Through Complementation.- 2.5 Processes of Condition-Event Nets.- 2.6 Further Examples.- 3 Place-Transition Nets.- 3.1 An Example.- 3.2 Arrow Weights.- 3.3 Rules.- 3.4 Contacts and Their Avoidance Through Complementation.- 3.5 Further Examples.- 4 Individual-Token Nets.- 4.1 An Example of Constant Arrow Labels.- 4.2 Rules for Nets with Individual Tokens and Constant Arrow Labels.- 4.3 Further Possibilities for Constant Arrow Labels.- 4.4 An Example of Variable Arrow Labels.- 4.5 Rules for Nets with Individual Tokens and Variable Arrow Labels.- 4.6 Further Possibilities for Variable Arrow Labels.- 4.7 Individual-Token Nets.- 5 Channel-Agency Nets.- 5.1 An Example.- 5.2 Rules.- 5.3 Further Examples.- 6 Refinement and Embedding.- 6.1 Refinement.- 6.2 Token-Preserving Refinement.- 6.3 Embedding.- 7 Nets as a Design Method.- 7.1 Preliminary Considerations for the Design of Computer-Integrated Systems.- 7.2 An Example.- 7.3 The Switch to Other Net Models.- 7.4 Additions to the Example.- Solutions.- References.
Series Title: Springer compass international.
Other Titles: Systementwurf mit Netzen.
Responsibility: Wolfgang Reisig.
More information:

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/24628481> # A primer in Petri net design
    a schema:CreativeWork, schema:Book ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/24628481#CreativeWork/unidentifiedOriginalWork> ; # Systementwurf mit Netzen.
   library:oclcnum "24628481" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/20960165#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/20960165#Topic/systementwurf> ; # Systementwurf
   schema:about <http://experiment.worldcat.org/entity/work/data/20960165#Topic/petri_nets> ; # Petri nets
   schema:about <http://id.worldcat.org/fast/1059237> ; # Petri nets
   schema:about <http://id.worldcat.org/fast/1141401> ; # System design
   schema:about <http://dewey.info/class/005.12028/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/20960165#Topic/petri_reseaux_de> ; # Petri, Réseaux de
   schema:about <http://experiment.worldcat.org/entity/work/data/20960165#Topic/petri_netz> ; # Petri-Netz
   schema:about <http://experiment.worldcat.org/entity/work/data/20960165#Topic/conception_systeme> ; # conception système
   schema:about <http://experiment.worldcat.org/entity/work/data/20960165#Topic/systemes_conception_de> ; # Systèmes, Conception de
   schema:about <http://experiment.worldcat.org/entity/work/data/20960165#Topic/system_design> ; # System design
   schema:about <http://experiment.worldcat.org/entity/work/data/20960165#Topic/reseau_petri> ; # réseau Petri
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1992" ;
   schema:creator <http://viaf.org/viaf/108265003> ; # Wolfgang Reisig
   schema:datePublished "1992" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/20960165> ; # Systementwurf mit Netzen.
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/20960165#Series/springer_compass_international> ; # Springer compass international.
   schema:isSimilarTo <http://www.worldcat.org/oclc/556976918> ;
   schema:name "A primer in Petri net design"@en ;
   schema:productID "24628481" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/24628481#PublicationEvent/berlin_new_york_springer_verlag_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/20960165#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://swbplus.bsz-bw.de/bsz028066057cov.htm> ;
   schema:url <http://www.gbv.de/dms/bowker/toc/9780387520445.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9780387520445> ;
   schema:workExample <http://worldcat.org/isbn/9783540520443> ;
   umbel:isLike <http://d-nb.info/921258771> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/24628481> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/20960165#Series/springer_compass_international> # Springer compass international.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/24628481> ; # A primer in Petri net design
   schema:name "Springer compass international." ;
   schema:name "Springer compass international" ;
    .

<http://experiment.worldcat.org/entity/work/data/20960165#Topic/conception_systeme> # conception système
    a schema:Intangible ;
   schema:name "conception système"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/20960165#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://experiment.worldcat.org/entity/work/data/20960165#Topic/systemes_conception_de> # Systèmes, Conception de
    a schema:Intangible ;
   schema:name "Systèmes, Conception de"@fr ;
    .

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

<http://id.worldcat.org/fast/1141401> # System design
    a schema:Intangible ;
   schema:name "System design"@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/20960165> # Systementwurf mit Netzen.
   schema:name "Systementwurf mit Netzen." ;
    .

<http://worldcat.org/isbn/9780387520445>
    a schema:ProductModel ;
   schema:isbn "0387520449" ;
   schema:isbn "9780387520445" ;
    .

<http://worldcat.org/isbn/9783540520443>
    a schema:ProductModel ;
   schema:isbn "3540520449" ;
   schema:isbn "9783540520443" ;
    .

<http://www.worldcat.org/oclc/556976918>
    a schema:CreativeWork ;
   rdfs:label "Primer in Petri net design." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/24628481> ; # A primer in Petri net design
    .

<http://www.worldcat.org/title/-/oclc/24628481#CreativeWork/unidentifiedOriginalWork> # Systementwurf mit Netzen.
    a schema:CreativeWork ;
   schema:inLanguage "de" ;
   schema:name "Systementwurf mit Netzen." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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