A SMoLCS based kit for defining high-level algebraic Petri nets