Talk:Algebraic Petri net