Free Choice Petri Nets: Free Choice Petri Nets

by Jorg Desel

2021-06-04 23:33:53

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 focuse... Read more
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. Less

Book Details

ISBN9780521019453

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Buy CAD 48.95
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 48.95
Available Discount
No Discount available

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free