Free Choice Petri Nets

by Javier Esparza and Jörg Desel

Book Overview

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the theory. The text is very clearly organised, with every notion carefully explained and every result proved...

• Format: Paperback
• Language: English
• ISBN: 0521019451
• ISBN13: 9780521019453
• Release Date: September 2005
• Publisher: Cambridge University Press
• Length: 256 Pages
• Weight: 0.91 lbs.
• Dimensions: 0.5" x 6.7" x 9.6"