Some Decidability Results for Nested Petri Nets (original) (raw)

This paper discusses the decidability results related to nested Petri nets, highlighting the complexities and frameworks that surround their algebraic specification. It contrasts algebraic specification with model-oriented techniques, illustrating the challenges faced in achieving industrial adoption of such methods. Additionally, it introduces the Common Algebraic Specification Language (CASL) as a solution to fragmented specification languages, aiming to unify the approach to formal specification in software development by ensuring tool interoperability.