High-Level Petri Nets + ADT

• High-Level Petri Nets + ADT are nets of level 3, which are defined over an algebraic specification.
• Algebraic Petri Nets (ALG) are High-Level Petri nets, which consist of a net scheme and a SPEC algebra.
• OBJSA Nets consist of a decomposable net scheme and an OBJ algebraic specification.