Algebraic Structures in Interpreted Petri nets Academic Article in Scopus