Overview
Contains revised and extended versions of a selection of the best workshop papers presented at Petri Nets 2016 and ACSD 2016Covers topics including model checking, system verification and applications of Petri netsApplicational areas include security, databases, business processes, and distributed systems
- | Author: Maciej Koutny
- | Publisher: Springer
- | Publication Date: Sep 26, 2017
- | Number of Pages: 217 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3662558610
- | ISBN-13: 9783662558614
