Describir: Batch Deterministic and Stochastic Petri Nets and Transformation Analysis Methods