Transactions on Petri Nets and Other Models of Concurrency

Transactions on Petri Nets and Other Models of Concurrency XV

Editors: Koutny, Maciej, Kordon, Fabrice, Pomello, Lucia (Eds.)

Free Preview
  • Contains revised and extended versions of a selection of the best workshop papers presented at Petri Nets 2019 and at ACSD 2019
  • Covers innovative applications of Petrinets and other models of concurrency
  • Application areas include communication protocols, distributed systems, and net synthesis
see more benefits

Buy this book

eBook 50,28 €
price for Spain (gross)
  • ISBN 978-3-662-63079-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 62,39 €
price for Spain (gross)
  • ISBN 978-3-662-63078-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

The 15th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, and the 19th International Conference on Application of Concurrency to System Design, ACSD 2019.

The 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 Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement

    Pages 1-26

    Berti, Alessandro (et al.)

  • Extensible Structural Analysis of Petri Net Product Lines

    Pages 27-49

    Gómez-Martínez, Elena (et al.)

  • Stability of Regional Orthomodular Posets Under Synchronisation and Refinement

    Pages 50-74

    Adobbati, Federica (et al.)

  • Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond

    Pages 75-100

    Devillers, Raymond (et al.)

  • The Complexity of Synthesizing $$\textsf {nop}$$-Equipped Boolean Petri Nets from g-Bounded Inputs

    Pages 101-125

    Tredup, Ronny

Buy this book

eBook 50,28 €
price for Spain (gross)
  • ISBN 978-3-662-63079-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 62,39 €
price for Spain (gross)
  • ISBN 978-3-662-63078-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Transactions on Petri Nets and Other Models of Concurrency XV
Editors
  • Maciej Koutny
  • Fabrice Kordon
  • Lucia Pomello
Series Title
Transactions on Petri Nets and Other Models of Concurrency
Series Volume
12530
Copyright
2021
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Germany, part of Springer Nature
eBook ISBN
978-3-662-63079-2
DOI
10.1007/978-3-662-63079-2
Softcover ISBN
978-3-662-63078-5
Series ISSN
1867-7193
Edition Number
1
Number of Pages
XVII, 185
Number of Illustrations
43 b/w illustrations, 48 illustrations in colour
Topics