Free Choice Petri Nets
Book Details
Format
Paperback / Softback
Book Series
Cambridge Tracts in Theoretical Computer Science
ISBN-10
0521019451
ISBN-13
9780521019453
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Sep 8th, 2005
Print length
256 Pages
Weight
440 grams
Dimensions
16.80 x 24.20 x 2.50 cms
Product Classification:
Mathematical logicMathematical theory of computationParallel processing
Ksh 7,800.00
Manufactured on Demand
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. 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.
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.
Get Free Choice Petri Nets by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
