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 XIII

Editors: Koutny, Maciej, Kristensen, Lars Michael, Penczek, Wojciech (Eds.)

Free Preview
  • Contains revised and extended versions of a selection of the best workshop papers presented at Petri Nets 2017 and ACSD 2017
  • Covers topics including model checking, system verification, and applications of Petri nets
  • Areas of application include fault-tolerance, databases, business processes, and distributed systems
see more benefits

Buy this book

eBook 64,19 €
price for Spain (gross)
  • ISBN 978-3-662-58381-4
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Spain (gross)
About this book

The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th International Conference on Application of Concurrency to System Design, ACSD 2017.

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: fault-tolerance, 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)

Buy this book

eBook 64,19 €
price for Spain (gross)
  • ISBN 978-3-662-58381-4
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Spain (gross)
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Transactions on Petri Nets and Other Models of Concurrency XIII
Editors
  • Maciej Koutny
  • Lars Michael Kristensen
  • Wojciech Penczek
Series Title
Transactions on Petri Nets and Other Models of Concurrency
Series Volume
11090
Copyright
2018
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Germany, part of Springer Nature
eBook ISBN
978-3-662-58381-4
DOI
10.1007/978-3-662-58381-4
Softcover ISBN
978-3-662-58380-7
Series ISSN
1867-7193
Edition Number
1
Number of Pages
XVII, 211
Number of Illustrations
39 b/w illustrations, 30 illustrations in colour
Topics