přejít na obsah
Transactions on petri nets and other models of concurrency VIII Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

Transactions on petri nets and other models of concurrency VIII

Autor Maciej Koutny; Wil van der Aalst; Alex Yakovlev
Vydavatel: Heidelberg : Springer, 2013.
Edice: Lecture notes in computer science, 8100
Vydání/formát:   e-kniha : Document : Conference publication : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Shrnutí:
The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets,  Přečíst více...
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Najít online exemplář

Odkazy na tento dokument

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Žánr/forma: Electronic books
Conference papers and proceedings
Ebook
Congresses
Doplňující formát: Printed edition:
Typ materiálu: Conference publication, Document, Internetový zdroj
Typ dokumentu: Internet Resource, Computer File
Všichni autoři/tvůrci: Maciej Koutny; Wil van der Aalst; Alex Yakovlev
ISBN: 9783642404658 3642404650 3642404642 9783642404641
OCLC číslo: 857224164
Poznámky: Includes author index.
Popis: 1 online resource (xviii, 203 pages) : illustrations.
Obsahy: Comparing Metabolic Pathways through Reactions and Potential Fluxes / Paolo Baldan, Nicoletta Cocco --
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow / Yann Ben Maissa, Fabrice Kordon --
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms / Luca Bernardinello, Elisabetta Mangioni --
From Code to Coloured Petri Nets: Modelling Guidelines / Anna Dedova, Laure Petrucci --
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets / Agata Janowska, Wojciech Penczek --
When Can We Trust a Third Party? / Kees M. van Hee, Natalia Sidorova --
Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle / Mostafa Herajy, Martin Schwarick --
Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators / Christian Rohr --
Model-Driven Middleware Support for Team-Oriented Process Management / Matthias Wester-Ebbinghaus --
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching / Michael Westergaard, Dirk Fahland.
Název edice: Lecture notes in computer science, 8100
Jiné tituly: Transactions on petri nets and other models of concurrency 8
Odpovědnost: Maciej Koutny, Wil M.P. Aalst, Alex Yakovlev (eds.).

Anotace:

This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system  Přečíst více...

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená data


Primary Entity

<http://www.worldcat.org/oclc/857224164> # Transactions on petri nets and other models of concurrency VIII
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "857224164" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1379889161#Topic/software> ; # Software
   schema:about <http://dewey.info/class/511.35/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1379889161#Topic/computer_science> ; # Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/1379889161#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/1379889161#Topic/software_engineering> ; # Software Engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/1379889161#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:about <http://experiment.worldcat.org/entity/work/data/1379889161#Topic/petri_nets> ; # Petri nets
   schema:about <http://id.worldcat.org/fast/1059237> ; # Petri nets
   schema:alternateName "Transactions on petri nets and other models of concurrency 8" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1379889161#Meeting/international_conference_on_applications_and_theory_of_petri_nets_and_other_models_of_concurrency_33rd_2012_hamburg_germany> ; # International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (33rd : 2012 : Hamburg, Germany)
   schema:datePublished "2013" ;
   schema:description "The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research."@en ;
   schema:editor <http://viaf.org/viaf/81126591> ; # Wil van der Aalst
   schema:editor <http://experiment.worldcat.org/entity/work/data/1379889161#Person/yakovlev_alex> ; # Alex Yakovlev
   schema:editor <http://viaf.org/viaf/117395851> ; # Maciej Koutny
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1379889161> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Ebook"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1379889161#CreativeWork/> ;
   schema:name "Transactions on petri nets and other models of concurrency VIII"@en ;
   schema:productID "857224164" ;
   schema:url <http://libproxy.uwinnipeg.ca/login?url=http://dx.doi.org/10.1007/978-3-642-40465-8> ;
   schema:url <http://dx.doi.org/10.1007/978-3-642-40465-8> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-40464-1> ;
   schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3093130> ;
   schema:workExample <http://worldcat.org/isbn/9783642404658> ;
   schema:workExample <http://worldcat.org/isbn/9783642404641> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-40465-8> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB381425> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/857224164> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1379889161#Meeting/international_conference_on_applications_and_theory_of_petri_nets_and_other_models_of_concurrency_33rd_2012_hamburg_germany> # International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (33rd : 2012 : Hamburg, Germany)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1379889161#Place/hamburg_germany> ; # Hamburg, Germany)
   schema:name "International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (33rd : 2012 : Hamburg, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1379889161#Person/yakovlev_alex> # Alex Yakovlev
    a schema:Person ;
   schema:familyName "Yakovlev" ;
   schema:givenName "Alex" ;
   schema:name "Alex Yakovlev" ;
    .

<http://experiment.worldcat.org/entity/work/data/1379889161#Place/hamburg_germany> # Hamburg, Germany)
    a schema:Place ;
   schema:name "Hamburg, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1379889161#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
   schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1379889161#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
   schema:name "Software Engineering"@en ;
    .

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

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/117395851> # Maciej Koutny
    a schema:Person ;
   schema:birthDate "1958" ;
   schema:familyName "Koutny" ;
   schema:givenName "Maciej" ;
   schema:name "Maciej Koutny" ;
    .

<http://viaf.org/viaf/81126591> # Wil van der Aalst
    a schema:Person ;
   schema:familyName "Aalst" ;
   schema:givenName "Wil van der" ;
   schema:name "Wil van der Aalst" ;
    .

<http://worldcat.org/entity/work/data/1379889161#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/857224164> ; # Transactions on petri nets and other models of concurrency VIII
    .

<http://worldcat.org/isbn/9783642404641>
    a schema:ProductModel ;
   schema:isbn "3642404642" ;
   schema:isbn "9783642404641" ;
    .

<http://worldcat.org/isbn/9783642404658>
    a schema:ProductModel ;
   schema:isbn "3642404650" ;
   schema:isbn "9783642404658" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/857224164> ; # Transactions on petri nets and other models of concurrency VIII
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science," ;
    .


Content-negotiable representations

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.