Describir: Distributed Modeling of Discrete Event Systems