pular para conteúdo
Transactions on petri nets and other models of concurrency VIII Ver prévia deste item
FecharVer prévia deste item
Checando...

Transactions on petri nets and other models of concurrency VIII

Autor: Maciej Koutny; Wil van der Aalst; Alex Yakovlev
Editora: Heidelberg : Springer, 2013.
Séries: Lecture notes in computer science, 8100
Edição/Formato   e-book : Documento : Publicação de conferência : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Resumo:
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,  Ler mais...
Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia on-line

Links para este item

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Gênero/Forma: Electronic books
Congresses
Tipo de Material: Publicação de conferência, Documento, Recurso Internet
Tipo de Documento: Recurso Internet, Arquivo de Computador
Todos os Autores / Contribuintes: Maciej Koutny; Wil van der Aalst; Alex Yakovlev
ISBN: 9783642404658 3642404650 3642404642 9783642404641
Número OCLC: 857224164
Notas: Includes author index.
Descrição: 1 online resource (xviii, 203 pages) : illustrations.
Conteúdos: 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.
Título da Série: Lecture notes in computer science, 8100
Outros Títulos: Transactions on petri nets and other models of concurrency 8
Responsabilidade: Maciej Koutny, Wil M. P. Aalst, Alex Yakovlev (eds.).
Mais informações:

Resumo:

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  Ler mais...

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.
Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


<http://www.worldcat.org/oclc/857224164>
library:oclcnum"857224164"
library:placeOfPublication
owl:sameAs<info:oclcnum/857224164>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:about
schema:about
rdf:typeschema:Intangible
schema:name"Logics and Meanings of Programs."
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
rdf:typeschema:Organization
schema:name"International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 2012 : Hamburg, Germany)"
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."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1379889161>
schema:genre"Conference proceedings"
schema:inLanguage"en"
schema:name"Transactions on petri nets and other models of concurrency VIII"
schema:sameAs<info:doi/10.1007/978-3-642-40465-8>
schema:sameAs<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:workExample
schema:workExample
schema:workExample
schema:workExample

Content-negotiable representations

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.