{"product_id":"9781846286506","title":"Modelling and Analysis of Hybrid Supervisory Systems","description":"This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. It describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The book also presents a validation procedure that allows verification of the formal properties of the hybrid model.","brand":"Emilia Villani","offers":[{"title":"Default Title","offer_id":47683129671998,"sku":"9781846286506","price":3028.78,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9781846286506.jpg?v=1707637076","url":"https:\/\/exclusivebooks.co.za\/products\/9781846286506","provider":"Exclusive Books Online","version":"1.0","type":"link"}