Distributed Embedded Controller Development with Petri Nets