CPN Tools Mixed-paradigm Hierarchy Extension