Author : Kurt Jensen,Susanna Donatelli,Jetty Kleijn
Publisher : Springer Science & Business Media
Page : 306 pages
File Size : 52,6 Mb
Release : 2012-03-26
Category : Computers
ISBN : 9783642290718
Transactions on Petri Nets and Other Models of Concurrency V by Kurt Jensen,Susanna Donatelli,Jetty Kleijn Pdf
This book presents 12 papers on Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. Covers model checking and system verification, synthesis, work on specific classes of Petri nets and more.