PNPACDA, Petri nets with places associated to continuous or discretized control algorithms for hybrid systems modelling | Publicación