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 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 64,19 €
price for Spain (gross)
  • ISBN 978-3-662-60651-3
  • 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 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)

Buy this book

eBook 64,19 €
price for Spain (gross)
  • ISBN 978-3-662-60651-3
  • 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 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