skip to content
Lectures on concurrency and Petri nets : advances in Petri nets Preview this item
ClosePreview this item
Checking...

Lectures on concurrency and Petri nets : advances in Petri nets

Author: Jörg Desel; Wolfgang Reisig; Grzegorz Rozenberg
Publisher: Berlin ; New York : Springer, 2004.
Series: Lecture notes in computer science, 3098.; Lecture notes in computer science., Tutorial.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
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

Genre/Form: Aufsatzsammlung
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Jörg Desel; Wolfgang Reisig; Grzegorz Rozenberg
ISBN: 3540222618 9783540222613
OCLC Number: 55808026
Description: viii, 848 pages : illustrations ; 24 cm.
Contents: Business process management demystified : a tutorial on models, systems and standards for workflow management / Wil M.P. van der Aalst --
InterPlay : horizontal scale-up and transition to design in scenario-based programming / Dan Barak, David Harel and Rami Marelly --
Timed automata : semantics, algorithms and tools / Johan Bengtsson and Wang Yi --
Petri nets and dependability / Simona Bernardi, Andrea Bobbio and Susanna Donatelli --
Process algebra : a Petri-net-oriented tutorial / Eike Best and Maciej Koutny --
A coloured Petri net approach to protocol verification / Jonathan Billington, Guy Edward Gallasch and Bing Han.
Series Title: Lecture notes in computer science, 3098.; Lecture notes in computer science., Tutorial.
Responsibility: Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.).

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(5)

User lists with this item (1)

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/55808026> # Lectures on concurrency and Petri nets : advances in Petri nets
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "55808026" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/801642134#Place/berlin> ; # Berlin
    schema:about <http://id.worldcat.org/fast/1059237> ; # Petri nets
    schema:about <http://experiment.worldcat.org/entity/work/data/801642134#Topic/petri_netz> ; # Petri-Netz
    schema:about <http://dewey.info/class/511.35/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/801642134#Topic/redes_de_petri> ; # Redes de petri
    schema:about <http://experiment.worldcat.org/entity/work/data/801642134#Topic/nebenlaufigkeit> ; # Nebenläufigkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/801642134#Topic/verteiltes_system> ; # Verteiltes System
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/108265003> ; # Wolfgang Reisig
    schema:contributor <http://experiment.worldcat.org/entity/work/data/801642134#Person/rozenberg_grzegorz> ; # Grzegorz Rozenberg
    schema:contributor <http://viaf.org/viaf/85223048> ; # Jörg Desel
    schema:datePublished "2004" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/801642134> ;
    schema:genre "Aufsatzsammlung"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/801642134#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/801642134#Series/tutorial> ; # Tutorial
    schema:name "Lectures on concurrency and Petri nets : advances in Petri nets"@en ;
    schema:productID "55808026" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/55808026#PublicationEvent/berlin_new_york_springer_2004> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/801642134#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3098> ;
    schema:url <http://dx.doi.org/10.1007/b98282> ;
    schema:workExample <http://worldcat.org/isbn/9783540222613> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA448418> ;
    umbel:isLike <http://d-nb.info/971491518> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/55808026> ;
    .


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/801642134#Person/rozenberg_grzegorz> # Grzegorz Rozenberg
    a schema:Person ;
    schema:familyName "Rozenberg" ;
    schema:givenName "Grzegorz" ;
    schema:name "Grzegorz Rozenberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/801642134#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/55808026> ; # Lectures on concurrency and Petri nets : advances in Petri nets
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/801642134#Series/tutorial> # Tutorial
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/55808026> ; # Lectures on concurrency and Petri nets : advances in Petri nets
    schema:name "Tutorial" ;
    .

<http://experiment.worldcat.org/entity/work/data/801642134#Topic/nebenlaufigkeit> # Nebenläufigkeit
    a schema:Intangible ;
    schema:name "Nebenläufigkeit"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801642134#Topic/verteiltes_system> # Verteiltes System
    a schema:Intangible ;
    schema:name "Verteiltes System"@en ;
    .

<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://viaf.org/viaf/85223048> # Jörg Desel
    a schema:Person ;
    schema:familyName "Desel" ;
    schema:givenName "Jörg" ;
    schema:name "Jörg Desel" ;
    .

<http://worldcat.org/isbn/9783540222613>
    a schema:ProductModel ;
    schema:isbn "3540222618" ;
    schema:isbn "9783540222613" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/55808026> ; # Lectures on concurrency and Petri nets : advances in Petri nets
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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