Skip to main content
SpringerLink
Log in

Transactions on Petri Nets and Other Models of Concurrency VIII

  • Book
  • © 2013

Overview

Editors:
  1. Maciej Koutny

    1. School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wil M. P. Aalst

    1. Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alex Yakovlev

    1. School of Electrical, Electronic and Computer Engineering, Newcastle University, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains the best papers selected from the workshops PNSE 2012, CompoNet 2012, LAM 2012, and BioPNN
  • Topics covered range from model checking and system verification to synthesis
  • Petri-net-based standards and innovative applications of Petri nets and other models of concurrency are also covered

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8100)

Part of the book sub series: Transactions on Petri Nets and Other Models of Concurrency (TOPNOC)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Download chapter PDF

  2. Comparing Metabolic Pathways through Reactions and Potential Fluxes

    • Paolo Baldan, Nicoletta Cocco, Federica Giummolè, Marta Simeoni
    Pages 1-23

  3. Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow

    • Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
    Pages 24-47

  4. Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms

    • Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
    Pages 48-70

  5. From Code to Coloured Petri Nets: Modelling Guidelines

    • Anna Dedova, Laure Petrucci
    Pages 71-88

  6. Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets

    • Agata Janowska, Wojciech Penczek, Agata Półrola, Andrzej Zbrzezny
    Pages 89-105

  7. When Can We Trust a Third Party?

    • Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
    Pages 106-122

  8. Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle

    • Mostafa Herajy, Martin Schwarick, Monika Heiner
    Pages 123-141

  9. Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators

    • Christian Rohr
    Pages 142-158

  10. Model-Driven Middleware Support for Team-Oriented Process Management

    • Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier
    Pages 159-179

  11. Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching

    • Michael Westergaard, Dirk Fahland, Christian Stahl
    Pages 180-202

  12. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    Maciej Koutny

  • Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands

    Wil M. P. Aalst

  • School of Electrical, Electronic and Computer Engineering, Newcastle University, Newcastle upon Tyne, UK

    Alex Yakovlev

Bibliographic Information

  • Book Title: Transactions on Petri Nets and Other Models of Concurrency VIII

  • Editors: Maciej Koutny, Wil M. P. Aalst, Alex Yakovlev

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-40465-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2013

  • Softcover ISBN: 978-3-642-40464-1Published: 14 August 2013

  • eBook ISBN: 978-3-642-40465-8Published: 05 August 2013

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVIII, 203

  • Number of Illustrations: 85 b/w illustrations

  • Topics: Software Engineering, Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation