Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Transactions on Petri Nets and Other Models of Concurrency

Transactions on Petri Nets and Other Models of Concurrency XI

Editors: Koutny, Maciej, Desel, Jörg, Kleijn, Jetty (Eds.)

Free Preview
  • 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
see more benefits

Buy this book

eBook $79.99
price for USA in USD
  • ISBN 978-3-662-53401-4
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
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.

Table of contents (16 chapters)

Table of contents (16 chapters)
  • Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

    Pages 1-27

    Simonsen, Kent Inge Fagerland (et al.)

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

    Pages 28-48

    Brogi, Antonio (et al.)

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

    Pages 49-70

    Bernardinello, Luca (et al.)

  • Validating DCCP Simultaneous Feature Negotiation Procedure

    Pages 71-91

    Vanit-Anunchai, Somsak

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

    Pages 92-113

    Mosteller, David (et al.)

Buy this book

eBook $79.99
price for USA in USD
  • ISBN 978-3-662-53401-4
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Transactions on Petri Nets and Other Models of Concurrency XI
Editors
  • Maciej Koutny
  • Jörg Desel
  • Jetty Kleijn
Series Title
Transactions on Petri Nets and Other Models of Concurrency
Series Volume
9930
Copyright
2016
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-53401-4
DOI
10.1007/978-3-662-53401-4
Softcover ISBN
978-3-662-53400-7
Series ISSN
1867-7193
Edition Number
1
Number of Pages
XVIII, 319
Number of Illustrations
103 b/w illustrations
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.