Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Free Choice Petri Nets

Free Choice Petri Nets

Desel, Jorg
Esparza, Javier
Van Rijsbergen, C. J.

Paperback

Series: Cambridge Tracts in Theoretical Computer Science, Book 40

General ComputersGeneral MathematicsProgramming

ISBN10: 0521019451
ISBN13: 9780521019453
Publisher: Cambridge University Press
Published: Sep 8 2005
Pages: 256
Weight: 0.91
Height: 0.54 Width: 6.69 Depth: 9.61
Language: English
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. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques. The material is organised along the lines of a course book, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.

Also in

General Mathematics

View All