Advertisement

Transactions on Petri Nets and Other Models of Concurrency VIII

  • Maciej Koutny
  • Wil M. P. van der Aalst
  • Alex Yakovlev

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8100)

Table of contents

  1. Front Matter
  2. Paolo Baldan, Nicoletta Cocco, Federica Giummolè, Marta Simeoni
    Pages 1-23
  3. Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
    Pages 24-47
  4. Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello
    Pages 48-70
  5. Anna Dedova, Laure Petrucci
    Pages 71-88
  6. Agata Janowska, Wojciech Penczek, Agata Półrola, Andrzej Zbrzezny
    Pages 89-105
  7. Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
    Pages 106-122
  8. Mostafa Herajy, Martin Schwarick, Monika Heiner
    Pages 123-141
  9. Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier
    Pages 159-179
  10. Michael Westergaard, Dirk Fahland, Christian Stahl
    Pages 180-202
  11. Back Matter

About this book

Introduction

The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). 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: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.

Keywords

business process management formal methods logic model development and analysis software system models

Editors and affiliations

  • Maciej Koutny
    • 1
  • Wil M. P. van der Aalst
    • 2
  • Alex Yakovlev
    • 3
  1. 1.School of Computing ScienceNewcastle UniversityNewcastle upon TyneUK
  2. 2.Department of Mathematics and Computer ScienceEindhoven University of TechnologyEindhovenThe Netherlands
  3. 3.School of Electrical, Electronic and Computer EngineeringNewcastle UniversityNewcastle upon TyneUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-40465-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40464-1
  • Online ISBN 978-3-642-40465-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering