Transactions on Petri Nets and Other Models of Concurrency

Transactions on Petri Nets and Other Models of Concurrency XIV

Editors: Koutny, Maciej, Pomello, Lucia, Kristensen, Lars Michael (Eds.)

Free Preview
  • Contains revised and extended versions of a selection of the best workshop papers presented at Petri Nets 2018 and ACSD 2018
  • Covers topics including model checking and system verification, refinement, and synthesis
  • Areas of application include process mining, formal semantics and business processes
see more benefits

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-662-60651-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-662-60650-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.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: process mining, verification, formal semantics, communication protocols, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

Table of contents (9 chapters)

Table of contents (9 chapters)
  • A Tour in Process Mining: From Practice to Algorithmic Challenges

    Pages 1-35

    Aalst, Wil (et al.)

  • How Petri Net Theory Serves Petri Net Model Checking: A Survey

    Pages 36-63

    Wolf, Karsten

  • Parametric Verification: An Introduction

    Pages 64-100

    André, Étienne (et al.)

  • Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics

    Pages 101-125

    Mosteller, David (et al.)

  • Formal Modelling and Incremental Verification of the MQTT IoT Protocol

    Pages 126-145

    Rodríguez, Alejandro (et al.)

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-662-60651-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-662-60650-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Transactions on Petri Nets and Other Models of Concurrency XIV
Editors
  • Maciej Koutny
  • Lucia Pomello
  • Lars Michael Kristensen
Series Title
Transactions on Petri Nets and Other Models of Concurrency
Series Volume
11790
Copyright
2019
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Germany, part of Springer Nature
eBook ISBN
978-3-662-60651-3
DOI
10.1007/978-3-662-60651-3
Softcover ISBN
978-3-662-60650-6
Series ISSN
1867-7193
Edition Number
1
Number of Pages
XVII, 255
Number of Illustrations
483 b/w illustrations, 42 illustrations in colour
Topics