{"product_id":"free-choice-petri-nets-paperback-9780521019453","title":"Free Choice Petri Nets (Paperback) 9780521019453","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eFree Choice Petri Nets\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003ePetri nets are a model for the analysis of concurrent systems.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eJorg Desel (Author), Javier Esparza (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521019453, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 8 September 2005\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e256 pages, 64 b\/w illus.  10 exercises\u003cbr\u003e24.5 x 17 x 1.3 cm, 0.414 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003ePetri 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.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e1. Introduction\u003cbr\u003e 2. Analysis techniques for petri nets\u003cbr\u003e 3. S-systems and T-systems\u003cbr\u003e 4. Liveness in free choice\u003cbr\u003e 5. The coverability theorems\u003cbr\u003e 6. The rank theorem\u003cbr\u003e 7. Reduction and synthesis\u003cbr\u003e 8. Home markings\u003cbr\u003e 9. Reachability and shortest sequences\u003cbr\u003e 10. Generalizations\u003cbr\u003e Index\u003cbr\u003e List of symbols\u003cbr\u003e List of main results.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Parallel processing [\u003ca title=\"See our other books on Parallel processing\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Parallel%20processing%20%5BUYFP%5D%22\"\u003eUYFP\u003c\/a\u003e], Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46006156689688,"sku":"9780521019453","price":37.39,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521019453i_953bead7-72cd-49f4-b088-614f98a9a2b9.jpg?v=1691376813","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/free-choice-petri-nets-paperback-9780521019453","provider":"Freshly Printed Books","version":"1.0","type":"link"}