Overview
- Contains revised selected papers from the workshops held at Petri Nets 2013 and ACSD 2013
- Topics covered range from model checking and system verification to foundational work on specific classes of Petri nets
- Application areas include biological systems, communication protocols, business processes, distributed systems, and multi-agent systems
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8910)
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 (8 chapters)
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Transactions on Petri Nets and Other Models of Concurrency IX
Editors: Maciej Koutny, Serge Haddad, Alex Yakovlev
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-45730-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2014
Softcover ISBN: 978-3-662-45729-0Published: 12 December 2014
eBook ISBN: 978-3-662-45730-6Published: 02 December 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 179
Number of Illustrations: 84 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications