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.
Read More
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.
Read Less
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2012
Language:
English
Alibris ID:
17980636999
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Transactions on Petri Nets and Other Models of Concurrency ; Lecture Notes in Computer Science . XVII, 293 p. Intended for professional and scholarly audience.