Petri nets, algebras and morphisms | lit.salon