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 ...
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.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Like New. Size: 6x0x9; In nearly new condition: firm and square with strong joints, no creases. Just a few hardly noticeable rubs or very mild bumps. Hence a non-text page shows a small 'damaged' stamp. Despite such this book looks and feels unread. Thus the contents are crisp, fresh and tight. And so a very nice book in great condition, now offered for sale at a reasonable price.