Transactions on Petri Nets and Other Models of Concurrency

Transactions on Petri Nets and Other Models of Concurrency VIII

Editors: Koutny, Maciej, van der Aalst, Wil, Yakovlev, Alex (Eds.)

Free Preview
  • Contains the best papers selected from the workshops PNSE 2012, CompoNet 2012, LAM 2012, and BioPNN
  • Topics covered range from model checking and system verification to synthesis
  • Petri-net-based standards and innovative applications of Petri nets and other models of concurrency are also covered
see more benefits

Buy this book

eBook 53,49 €
price for Spain (gross)
  • ISBN 978-3-642-40465-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
  • Institutional customers should get in touch with their account manager
Softcover 65,52 €
price for Spain (gross)
About this book

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.

Table of contents (10 chapters)

Table of contents (10 chapters)
  • Comparing Metabolic Pathways through Reactions and Potential Fluxes

    Pages 1-23

    Baldan, Paolo (et al.)

  • Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow

    Pages 24-47

    Ben Maissa, Yann (et al.)

  • Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms

    Pages 48-70

    Bernardinello, Luca (et al.)

  • From Code to Coloured Petri Nets: Modelling Guidelines

    Pages 71-88

    Dedova, Anna (et al.)

  • Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets

    Pages 89-105

    Janowska, Agata (et al.)

Buy this book

eBook 53,49 €
price for Spain (gross)
  • ISBN 978-3-642-40465-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
  • Institutional customers should get in touch with their account manager
Softcover 65,52 €
price for Spain (gross)
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Transactions on Petri Nets and Other Models of Concurrency VIII
Editors
  • Maciej Koutny
  • Wil van der Aalst
  • Alex Yakovlev
Series Title
Transactions on Petri Nets and Other Models of Concurrency
Series Volume
8100
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-40465-8
DOI
10.1007/978-3-642-40465-8
Softcover ISBN
978-3-642-40464-1
Series ISSN
1867-7193
Edition Number
1
Number of Pages
XVIII, 203
Number of Illustrations
85 b/w illustrations
Topics