Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts | Publicación