Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems (SpringerBriefs in Electrical and Computer Engineering) | DealShopping Deutschland