passa ai contenuti
Transactions on petri nets and other models of concurrency VIII Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Transactions on petri nets and other models of concurrency VIII

Autore: Maciej Koutny; Wil van der Aalst; Alex Yakovlev
Editore: Heidelberg : Springer, 2013.
Serie: Lecture notes in computer science, 8100
Edizione/Formato:   eBook : Document : Conference publication : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:
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,  Per saperne di più…
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: Electronic books
Conference proceedings
Congresses
Informazioni aggiuntive sul formato: Printed edition:
Tipo materiale: Conference publication, Document, Risorsa internet
Tipo documento: Internet Resource, Computer File
Tutti gli autori / Collaboratori: Maciej Koutny; Wil van der Aalst; Alex Yakovlev
ISBN: 9783642404658 3642404650 3642404642 9783642404641
Numero OCLC: 857224164
Note: Includes author index.
Descrizione: 1 online resource (xviii, 203 pages) : illustrations.
Contenuti: 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.
Titolo della serie: Lecture notes in computer science, 8100
Altri titoli: Transactions on petri nets and other models of concurrency 8
Responsabilità: Maciej Koutny, Wil M.P. Aalst, Alex Yakovlev (eds.).
Maggiori informazioni:

Abstract:

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  Per saperne di più…

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


<http://www.worldcat.org/oclc/857224164>
library:oclcnum"857224164"
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdf:valueUnknown value: cnp
rdf:valueUnknown value: dct
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:alternateName"Transactions on petri nets and other models of concurrency 8"@en
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:contributor
schema:contributor
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:exampleOfWork<http://worldcat.org/entity/work/id/1379889161>
schema:genre"Conference proceedings"@en
schema:genre"Electronic books"@en
schema:inLanguage"en"
schema:isPartOf
schema:name"Transactions on petri nets and other models of concurrency VIII"@en
schema:url
schema:workExample
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.