Skip to main content
SpringerLink
Log in
Book cover

Transactions on Petri Nets and Other Models of Concurrency XI

  • Book
  • © 2016

Overview

Editors:
  1. Maciej Koutny

    1. Newcastle University , Newcastle upon Tyne, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jörg Desel

    1. FernUniversität in Hagen , Hagen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jetty Kleijn

    1. Leiden University , Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains revised and extended selected papers from the workshops held at Petri Nets 2015 and ACSD 2014
  • Topics covered include model checking and system verification, refinement, and synthesis; and Petri nets and their applications
  • Application areas include security, service composition, communication protocols, business processes, distributed systems, and multi-agent systems
  • Includes supplementary material: sn.pub/extras

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

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 EPUB and 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 (16 chapters)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  2. Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

    • Kent Inge Fagerland Simonsen, Lars M. Kristensen, Ekkart Kindler
    Pages 1-27

  3. A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications

    • Antonio Brogi, Andrea Canciani, Jacopo Soldani, PengWei Wang
    Pages 28-48

  4. Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets

    • Luca Bernardinello, Görkem Kılınç, Lucia Pomello
    Pages 49-70

  5. Validating DCCP Simultaneous Feature Negotiation Procedure

    • Somsak Vanit-Anunchai
    Pages 71-91

  6. Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework

    • David Mosteller, Lawrence Cabac, Michael Haustermann
    Pages 92-113

  7. Mining Conditional Partial Order Graphs from Event Logs

    • Andrey Mokhov, Josep Carmona, Jonathan Beaumont
    Pages 114-136

  8. Conditions for Petri Net Solvable Binary Words

    • Kamila Barylska, Eike Best, Evgeny Erofeev, Łukasz Mikulski, Marcin Piątkowski
    Pages 137-159

  9. Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data

    • Timo Sztyler, Josep Carmona, Johanna Völker, Heiner Stuckenschmidt
    Pages 160-180

  10. A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms

    • Joel Ribeiro, Josep Carmona
    Pages 181-202

  11. Negotiations and Petri Nets

    • Jörg Desel, Javier Esparza
    Pages 203-225

  12. A Formal Framework for Diagnostic Analysis for Errors of Business Processes

    • Suman Roy, A. S. M. Sajeev
    Pages 226-261

  13. MCC’2015 – The Fifth Model Checking Contest

    • Fabrice Kordon, Hubert Garavel, Lom Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez et al.
    Pages 262-273

  14. Running LoLA 2.0 in a Model Checking Competition

    • Karsten Wolf
    Pages 274-285

  15. MARCIE’s Secrets of Efficient Model Checking

    • Monika Heiner, Christian Rohr, Martin Schwarick, Alexey A. Tovchigrechko
    Pages 286-296

  16. A Symbolic Model Checker for Petri Nets: pnmc

    • Alexandre Hamez
    Pages 297-306

  17. TAPAAL and Reachability Analysis of P/T Nets

    • Jonas F. Jensen, Thomas Nielsen, Lars K. Oestergaard, Jiří Srba
    Pages 307-318

  18. Back Matter

    Pages 319-319
    Download chapter PDF
Back to top

Keywords

About this book

The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.

The 16 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: security, service composition, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

Editors and Affiliations

  • Newcastle University , Newcastle upon Tyne, United Kingdom

    Maciej Koutny

  • FernUniversität in Hagen , Hagen, Germany

    Jörg Desel

  • Leiden University , Leiden, The Netherlands

    Jetty Kleijn

Bibliographic Information

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

  • Editors: Maciej Koutny, Jörg Desel, Jetty Kleijn

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-662-53401-4

  • Publisher: Springer Berlin, Heidelberg

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

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2016

  • Softcover ISBN: 978-3-662-53400-7Published: 10 September 2016

  • eBook ISBN: 978-3-662-53401-4Published: 01 September 2016

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVIII, 319

  • Number of Illustrations: 103 b/w illustrations

  • Topics: Software Engineering, Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation