Editors:
- Contains revised and extended versions of a selection of the best workshop papers presented at Petri Nets 2018 and ACSD 2018
- Covers topics including model checking and system verification, refinement, and synthesis
- Areas of application include process mining, formal semantics and business processes
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11790)
Part of the book sub series: Transactions on Petri Nets and Other Models of Concurrency (TOPNOC)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
About this book
Editors and Affiliations
-
Newcastle University, Newcastle upon Tyne, UK
Maciej Koutny
-
Università degli Studi di Milano, Milan, Italy
Lucia Pomello
-
Western Norway University of Applied Sciences, Bergen, Norway
Lars Michael Kristensen
Bibliographic Information
Book Title: Transactions on Petri Nets and Other Models of Concurrency XIV
Editors: Maciej Koutny, Lucia Pomello, Lars Michael Kristensen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-60651-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Germany, part of Springer Nature 2019
Softcover ISBN: 978-3-662-60650-6Published: 06 December 2019
eBook ISBN: 978-3-662-60651-3Published: 20 November 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 255
Number of Illustrations: 483 b/w illustrations, 42 illustrations in colour
Topics: Theory of Computation, Data Structures, Discrete Mathematics in Computer Science, Software Engineering, Information Systems Applications (incl. Internet), e-Commerce/e-business