Book Name: Distributed Embedded Controller Development with Petri Nets Author: Filipe Moutinho, Luís Gomes Publisher: Springer International Publishing ISBN-10: 3319208217…