When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Modelling and Analysis of Hybrid Supervisory Systems : A Petri Net Approach, Hardcover by Villani, Emilia; Miyagi, Paulo Eigi; Valette, Robert, ISBN 1846286506, ISBN-13 9781846286506, Brand New, Free shipping in the US 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. Th also presents a validation procedure that allows verification of the formal properties of the hybrid model.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.