Overview
- 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
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8100)
Part of the book sub series: Transactions on Petri Nets and Other Models of Concurrency (TOPNOC)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 chapters)
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Transactions on Petri Nets and Other Models of Concurrency VIII
Editors: Maciej Koutny, Wil M. P. Aalst, Alex Yakovlev
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-40465-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2013
Softcover ISBN: 978-3-642-40464-1Published: 14 August 2013
eBook ISBN: 978-3-642-40465-8Published: 05 August 2013
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 203
Number of Illustrations: 85 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs