Homogeneous Equations of Algebraic Petri Nets

Marvin Triebel, Jan Sürmeli

Algebraic Petri nets are a formalism for modeling distributed systems and algorithms, describing control and data flow by combining Petri nets and algebraic specification. One way…