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, Heidelberg : Springer Berlin Heidelberg, 1991.
Series: Lecture notes in computer science, 483.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

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

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

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Grzegorz Rozenberg
ISBN: 9783540538639 3540538631
OCLC Number: 699831940
Description: 1 online resource (Online-Ressource.).
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: Lecture notes in computer science, 483.
Responsibility: by Grzegorz Rozenberg.

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/699831940> # Advances in Petri Nets 1990
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "699831940" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/14445983#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.loc.gov/authorities/subjects/sh89003285> ; # Computer science
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://id.loc.gov/authorities/subjects/sh85078117> ; # Logic design
   schema:about <http://experiment.worldcat.org/entity/work/data/14445983#Topic/computer_communication_networks> ; # Computer Communication Networks
   schema:about <http://id.loc.gov/authorities/subjects/sh85029534> ; # Computer software
   schema:about <http://id.worldcat.org/fast/1046280> ; # Operating systems (Computers)
   schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/76378808> ; # Grzegorz Rozenberg
   schema:datePublished "1991" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/14445983> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/14445983#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Advances in Petri Nets 1990" ;
   schema:productID "699831940" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/699831940#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/14445983#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://dx.doi.org/10.1007/3-540-53863-1> ;
   schema:workExample <http://worldcat.org/isbn/9783540538639> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/699831940> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/14445983#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/14445983#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/14445983#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/699831940> ; # Advances in Petri Nets 1990
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/14445983#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
   schema:name "Computer Communication Networks" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029534> # Computer software
    a schema:Intangible ;
   schema:name "Computer software" ;
    .

<http://id.loc.gov/authorities/subjects/sh85078117> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.loc.gov/authorities/subjects/sh89003285> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1046280> # Operating systems (Computers)
    a schema:Intangible ;
   schema:name "Operating systems (Computers)" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
   schema:name "Computer software" ;
    .

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

<http://worldcat.org/isbn/9783540538639>
    a schema:ProductModel ;
   schema:isbn "3540538631" ;
   schema:isbn "9783540538639" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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