Transactions on Petri Nets and Other Models of Concurrency V

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

• All from $16.50
• New Books from $60.65
• Used Books from $88.67
• eBook from $16.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $16.50 (Expires Feb 10, 2025) 60 Day Rental: $22.00 (Expires Mar 12, 2025) 90 Day Rental: $27.50 (Expires Apr 11, 2025) 120 Day Rental: $33.00 (Expires May 11, 2025) 180 Day Rental: $35.75 (Expires Jul 10, 2025) Buy eBook Lifetime Access: $54.99 Title: Transactions on Petri Nets and Other Models of Concurrency V by Kurt Jensen Publisher: Springer Nature Print ISBN: 9783642290718, 364229071X eText ISBN: 9783642290725 Edition: 2012 1st edition Format: PDF eBook	$16.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ