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
Buy this book
- 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)
-
-
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
Pages 1-27
-
A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications
Pages 28-48
-
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets
Pages 49-70
-
Validating DCCP Simultaneous Feature Negotiation Procedure
Pages 71-91
-
Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework
Pages 92-113
-
Table of contents (16 chapters)
- Download Preface 1 PDF (50.3 KB)
- Download Sample pages 2 PDF (1.1 MB)
- Download Table of contents PDF (64.2 KB)
Recommended for you
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
