Call Boomerang Books 1300 36 33 32

Description - Free Choice Petri Nets by Jorg Desel

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.

Buy Free Choice Petri Nets by Jorg Desel from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780521019453
ISBN-10: 0521019451
Format: Paperback
(247mm x 174mm x 13mm)
Pages: 256
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 25-Jun-2005
Country of Publication: United Kingdom

Other Editions - Free Choice Petri Nets by Jorg Desel

Book Reviews - Free Choice Petri Nets by Jorg Desel

» Have you read this book? We'd like to know what you think about it - write a review about Free Choice Petri Nets book by Jorg Desel and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review