Transactions on Petri Nets and Other Models of Concurrency V
Download or Read eBook Transactions on Petri Nets and Other Models of Concurrency V PDF written by Kurt Jensen and published by Springer Science & Business Media. This book was released on 2012-03-26 with total page 306 pages. Available in PDF, EPUB and Kindle.
| Author | : Kurt Jensen |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 306 |
| Release | : 2012-03-26 |
| ISBN-10 | : 9783642290718 |
| ISBN-13 | : 364229071X |
| Rating | : 4/5 (18 Downloads) |
Book Synopsis Transactions on Petri Nets and Other Models of Concurrency V by : Kurt Jensen
Book excerpt: 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.
