CYBER DEAL: 50% off all Springer eBooks | Get this offer!

Transactions on Petri Nets and Other Models of Concurrency

Transactions on Petri Nets and Other Models of Concurrency XII

Editors: Koutny, M., Kleijn, J., Penczek, W., Zhang, M. (Eds.)

Free Preview
  • Contains revised and extended versions of a selection of the best workshop papers presented at Petri Nets 2016 and ACSD 2016
  • Covers topics including model checking, system verification and applications of Petri nets
  • Applicational areas include security, databases, business processes, and distributed systems
see more benefits

Buy this book

eBook 71,68 €
price for Spain (gross)
  • ISBN 978-3-662-55862-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase Institutional customers should get in touch with their account manager
Softcover 88,39 €
price for Spain (gross)
About this book

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

The 9 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, databases, communication protocols, business processes, and distributed systems. 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)
  • Properties of Plain, Pure, and Safe Petri Nets

    Pages 1-18

    Barylska, Kamila (et al.)

  • Similarity-Based Approaches for Determining the Number of Trace Clusters in Process Discovery

    Pages 19-42

    Koninck, Pieter (et al.)

  • Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions

    Pages 43-69

    Holderer, Julius (et al.)

  • Formal Modelling and Analysis of Distributed Storage Systems

    Pages 70-90

    la Houssaye, Jordan (et al.)

  • DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases

    Pages 91-118

    Montali, Marco (et al.)

Buy this book

eBook 71,68 €
price for Spain (gross)
  • ISBN 978-3-662-55862-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase Institutional customers should get in touch with their account manager
Softcover 88,39 €
price for Spain (gross)
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Transactions on Petri Nets and Other Models of Concurrency XII
Editors
  • Maciej Koutny
  • Jetty Kleijn
  • Wojciech Penczek
  • Mingmin Zhang
Series Title
Transactions on Petri Nets and Other Models of Concurrency
Series Volume
10470
Copyright
2017
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Germany
eBook ISBN
978-3-662-55862-1
DOI
10.1007/978-3-662-55862-1
Softcover ISBN
978-3-662-55861-4
Series ISSN
1867-7193
Edition Number
1
Number of Pages
XVII, 217
Number of Illustrations
89 b/w illustrations
Topics