Artículos relacionados a Transactions on Petri Nets and Other Models of Concurrency...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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 verification, refinement and synthesis, and innovative applications.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 53,49
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Transactions on Petri Nets and Other Models of Concurrency...
Imagen de archivo
Transactions on Petri Nets and Other Models of Concurrency VIII
Publicado por
Springer Berlin Heidelberg, 2013
ISBN 10: 3642404642
ISBN 13: 9783642404641
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 224 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 24097494/12
Cantidad disponible: 1 disponibles
Imagen del vendedor
Transactions on Petri Nets and Other Models of Concurrency VIII
Publicado por
Springer Berlin Heidelberg Aug 2013, 2013
ISBN 10: 3642404642
ISBN 13: 9783642404641
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 224 pp. Englisch. Nº de ref. del artículo: 9783642404641
Cantidad disponible: 2 disponibles
Imagen de archivo
Transactions on Petri Nets and Other Models of Concurrency VIII
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783642404641_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Transactions on Petri Nets and Other Models of Concurrency VIII
Publicado por
Springer Berlin Heidelberg, 2013
ISBN 10: 3642404642
ISBN 13: 9783642404641
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783642404641
Cantidad disponible: 1 disponibles
Imagen del vendedor
Transactions on Petri Nets and Other Models of Concurrency VIII
Publicado por
Springer Berlin Heidelberg, 2013
ISBN 10: 3642404642
ISBN 13: 9783642404641
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contains the best papers selected from the workshops PNSE 2012, CompoNet 2012, LAM 2012, and BioPNNTopics covered range from model checking and system verification to synthesisPetri-net-based standards and innovative applications of Petri n. Nº de ref. del artículo: 5059644
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Transactions on Petri Nets and Other Models of Concurrency VIII
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 20125214-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Transactions on Petri Nets and Other Models of Concurrency VIII: 8 (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783642404641
Cantidad disponible: 10 disponibles
Imagen del vendedor
Transactions on Petri Nets and Other Models of Concurrency VIII
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 20125214-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Transactions on Petri Nets and Other Models of Concurrency VIII
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 224. Nº de ref. del artículo: 2698176388
Cantidad disponible: 4 disponibles
Imagen del vendedor
Transactions on Petri Nets and Other Models of Concurrency VIII
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2013, 2013
ISBN 10: 3642404642
ISBN 13: 9783642404641
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware -InhaltsangabeComparing Metabolic Pathways through Reactions and Potential Fluxes.- Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow.- Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms.- From Code to Coloured Petri Nets: Modelling Guidelines.- Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets.- When Can We Trust a Third Party : A Soundness Perspective.- Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle.- Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators.- Model-Driven Middleware Support for Team-Oriented Process Management.- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch. Nº de ref. del artículo: 9783642404641
Cantidad disponible: 2 disponibles