skip to content
Advances in Petri nets 1990 Preview this item
ClosePreview this item
Checking...

Advances in Petri nets 1990

Author: Grzegorz Rozenberg
Publisher: Berlin : Springer-Verlag, cop. 1991.
Series: APN, 1990; Lecture notes in computer science, 483.; Advances in Petri nets.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed,  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

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Advances in Petri nets 1990
(NL-LeOCL)142996106
(OCoLC)23538908
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Grzegorz Rozenberg
ISBN: 9783540463696 3540463690
OCLC Number: 150397900
Notes: Covers the 10th European Workshop on Applications and theory of Petri nets, held in Bonn, Germany, in June 1989.
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets, held in Bonn 1989.
Description: 1 online resource (vi, 515 pages :) : illustrations.
Contents: A survey of behaviour and equivalence preserving refinements of petri nets.- A distributed simulator for high order Petri nets.- Petri nets with uncertain markings.- Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows.- Improving the linearly based characterization of P/T nets.- Linear invariants in commutative high level nets.- Vicinity respecting net morphisms.- Regular stochastic petri nets.- Circuits, handles, bridges and nets.- On the analysis and synthesis of free choice systems.- Petri net models of a distributed election protocol on a unidirectional ring.- Hierarchies in coloured petri nets.- Coloured petri nets: A high level language for system design and analysis.- A simulation system architecture for graph models.- A state transformation preorder over a class of EN systems.- Composition of nets via a communication medium.- ?Trellis: A system for writing and browsing petri-net-based hypertext.- Stubborn sets for reduced state space generation.
Series Title: APN, 1990; Lecture notes in computer science, 483.; Advances in Petri nets.
Responsibility: Grzegorz Rozenberg (ed.).

Abstract:

Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989.  Read more...

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/150397900> # Advances in Petri nets 1990
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "150397900" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/14445983#Place/berlin> ; # Berlin
    schema:about <http://dewey.info/class/511.35/e22/> ;
    schema:about <http://id.worldcat.org/fast/1059237> ; # Petri nets
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/14445983#Topic/petri_nets> ; # Petri nets
    schema:about <http://experiment.worldcat.org/entity/work/data/14445983#Topic/machine_theory> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/14445983#Topic/petri_netwerken> ; # Petri-netwerken
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/14445983#Meeting/european_workshop_on_application_and_theory_of_petri_nets_10_1989_bonn_germany> ; # European Workshop on Application and Theory of Petri Nets (10 : 1989 : Bonn, Germany)
    schema:copyrightYear "op." ;
    schema:datePublished "1991" ;
    schema:description "The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON."@en ;
    schema:editor <http://viaf.org/viaf/76378808> ; # Grzegorz Rozenberg
    schema:exampleOfWork <http://worldcat.org/entity/work/id/14445983> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/14445983#Series/advances_in_petri_nets> ; # Advances in Petri nets.
    schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/14445983#Series/apn> ; # APN ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/23538908> ;
    schema:name "Advances in Petri nets 1990"@en ;
    schema:productID "150397900" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/150397900#PublicationEvent/berlin_springer_verlag_cop_1991> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/14445983#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://dx.doi.org/10.1007/3-540-53863-1> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/3-540-53863-1> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-04-14/3/3540538631> ;
    schema:workExample <http://worldcat.org/isbn/9783540463696> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/150397900> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/14445983#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/14445983#Meeting/european_workshop_on_application_and_theory_of_petri_nets_10_1989_bonn_germany> # European Workshop on Application and Theory of Petri Nets (10 : 1989 : Bonn, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/14445983#Place/bonn_germany> ; # Bonn, Germany)
    schema:name "European Workshop on Application and Theory of Petri Nets (10 : 1989 : Bonn, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/14445983#Place/bonn_germany> # Bonn, Germany)
    a schema:Place ;
    schema:name "Bonn, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/14445983#Series/advances_in_petri_nets> # Advances in Petri nets.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/150397900> ; # Advances in Petri nets 1990
    schema:name "Advances in Petri nets." ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
    schema:name "Machine theory"@en ;
    .

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

<http://viaf.org/viaf/76378808> # Grzegorz Rozenberg
    a schema:Person ;
    schema:familyName "Rozenberg" ;
    schema:givenName "Grzegorz" ;
    schema:name "Grzegorz Rozenberg" ;
    .

<http://worldcat.org/isbn/9783540463696>
    a schema:ProductModel ;
    schema:isbn "3540463690" ;
    schema:isbn "9783540463696" ;
    .

<http://worldcat.org/issn/1611-3349> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/150397900> ; # Advances in Petri nets 1990
    schema:issn "1611-3349" ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://www.worldcat.org/oclc/23538908>
    a schema:CreativeWork ;
    rdfs:label "Advances in Petri nets 1990" ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/150397900> ; # Advances in Petri nets 1990
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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