Transactions on Petri Nets and Other Models of Concurrency XII

Contains revised and extended versions of a selection of the best workshop papers presented at Petri Nets 2016 and ACSD 2016
Covers topics including model checking, system verification and applications of Petri nets
Applicational areas include security, databases, business processes, and distributed systems

• Format: Paperback
• Language: English
• ISBN: 3662558610
• ISBN13: 9783662558614
• Release Date: September 2017
• Publisher: Springer
• Length: 217 Pages
• Weight: 0.74 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"