Describir: Distributed Implementation of Petri nets in Control Applications