skip to content
Unifying petri nets : advances in petri nets Preview this item
ClosePreview this item
Checking...

Unifying petri nets : advances in petri nets

Author: Hartmut Ehrig
Publisher: Berlin : Springer, 2001.
Series: Lecture notes in computer science, 2128.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth. These successful developments have led to a very heterogeneous landscape of diverse models, and this, in turn, has stimulated research  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Unifying Petri nets : advances in Petri nets.
(OCoLC)48782741
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Hartmut Ehrig
ISBN: 9783540455417 3540455418
OCLC Number: 48746970
Notes: "Online publication: December 18, 2001."
Title from table of contents screen.
Available electronically in PDF format to subscribers to Link, the information service of Springer Verlag.
Description: 1 online resource (viii, 484 pages) : illustrations.
Contents: "What is a petri net?" / Jörg Desel and Gabriel Luhás --
The "Petri Net Baukasten": an overview / Meike Gajewsky and Hartmut Ehrig --
Improving the usability of petri nets with the "Petri Net Baukasten" / Herbert Weber, Sabine Lembke, and Alexander Borusan --
Implementation of parameterized net classes with the petri net kernel of the "Petri Net Baukasten" / Claudia Ermel and Michael Weber --
Process landscaping : modelling distributed processes and proving properties of distributed process models / Volker Gruhn and Ursula Wellen --
Petri nets over partial algebra / Jörg Desel, Gabriel Luhás, and Robert Lorenz --
Parameterized net classes: a uniform approach to petri net classes / Julia Padberg and Hartmut Ehrig --
Behavior and realization construction for petri nets based on free monoid and power set graphs / Julia Padberg, Hartmut Ehrig, and Grzegorz Rozenberg --
Rewriting logic as a unifying framework for petri nets / Mark-Oliver Stehr, José Meseguer, and Peter Csaba Ölveczky --
Generalized automata and their net representations / Eric Badouel, Marek A. Bednarczyk, and Philippe Darondeau --
On concurrent realization of reactive systems and their morphisms / Marek A. Bednarczyk and Andrzej M. Borzyszkowski --
Transactions and zero-safe nets / Roberto Bruni and Ugo Montanari --
Two algebraic process semantics for contextual nets / Roberto Bruni and Vladimiro Sassone --
Continuous petri nets and transition systems / Manfred Droste and R.M. Shortt --
Author index.
Series Title: Lecture notes in computer science, 2128.
Responsibility: H. Ehrig [and others], eds.

Abstract:

Research on Petri nets has diverged in many different directions. This survey presents the relevant approaches to unifying Petri nets in a systematic and coherent way. The chapters are organized in  Read more...

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(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/48746970> # Unifying petri nets : advances in petri nets
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "48746970" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/837713499#Place/berlin> ; # Berlin
    schema:about <http://dewey.info/class/511.3/e21/> ;
    schema:about <http://id.worldcat.org/fast/1059237> ; # Petri nets
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/91382328> ; # Hartmut Ehrig
    schema:datePublished "2001" ;
    schema:description "Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth. These successful developments have led to a very heterogeneous landscape of diverse models, and this, in turn, has stimulated research on concepts and approaches that contribute to unifying and structuring the diverse landscape. This state-of-the-art survey presents the most relevant approaches to unifying Petri nets in a systematic and coherent way. The 14 chapters written by leading researchers are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches."@en ;
    schema:description ""What is a petri net?" / Jörg Desel and Gabriel Luhás -- The "Petri Net Baukasten": an overview / Meike Gajewsky and Hartmut Ehrig -- Improving the usability of petri nets with the "Petri Net Baukasten" / Herbert Weber, Sabine Lembke, and Alexander Borusan -- Implementation of parameterized net classes with the petri net kernel of the "Petri Net Baukasten" / Claudia Ermel and Michael Weber -- Process landscaping : modelling distributed processes and proving properties of distributed process models / Volker Gruhn and Ursula Wellen -- Petri nets over partial algebra / Jörg Desel, Gabriel Luhás, and Robert Lorenz -- Parameterized net classes: a uniform approach to petri net classes / Julia Padberg and Hartmut Ehrig -- Behavior and realization construction for petri nets based on free monoid and power set graphs / Julia Padberg, Hartmut Ehrig, and Grzegorz Rozenberg -- Rewriting logic as a unifying framework for petri nets / Mark-Oliver Stehr, José Meseguer, and Peter Csaba Ölveczky -- Generalized automata and their net representations / Eric Badouel, Marek A. Bednarczyk, and Philippe Darondeau -- On concurrent realization of reactive systems and their morphisms / Marek A. Bednarczyk and Andrzej M. Borzyszkowski -- Transactions and zero-safe nets / Roberto Bruni and Ugo Montanari -- Two algebraic process semantics for contextual nets / Roberto Bruni and Vladimiro Sassone -- Continuous petri nets and transition systems / Manfred Droste and R.M. Shortt -- Author index."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/837713499> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/837713499#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/48782741> ;
    schema:name "Unifying petri nets : advances in petri nets"@en ;
    schema:productID "48746970" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/48746970#PublicationEvent/berlin_springer_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/837713499#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/3-540-45541-8> ;
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t2128.htm> ;
    schema:url <http://link.springer.de/link/service/series/0558/tocs/t2128.htm> ;
    schema:url <http://link.springer.com/10.1007/3-540-45541-8> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/3-540-45541-8> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/3540455418> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-43067-4> ;
    schema:workExample <http://worldcat.org/isbn/9783540455417> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA205114> ;
    umbel:isLike <http://d-nb.info/963181645> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/48746970> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/837713499#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/48746970> ; # Unifying petri nets : advances in petri nets
    schema:name "Lecture notes in computer science ;" ;
    .

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

<http://viaf.org/viaf/91382328> # Hartmut Ehrig
    a schema:Person ;
    schema:familyName "Ehrig" ;
    schema:givenName "Hartmut" ;
    schema:name "Hartmut Ehrig" ;
    .

<http://worldcat.org/isbn/9783540455417>
    a schema:ProductModel ;
    schema:isbn "3540455418" ;
    schema:isbn "9783540455417" ;
    .

<http://www.worldcat.org/oclc/48782741>
    a schema:CreativeWork ;
    rdfs:label "Unifying Petri nets : advances in Petri nets." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/48746970> ; # Unifying petri nets : advances in petri nets
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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