CO-OPN

From PKC
Revision as of 12:07, 30 July 2022 by Benkoo (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

CO-OPN(Q2931810), also known as:Concurrent Object-Oriented Petri Nets, is a specification language is based on both algebraic specifications and algebraic Petri nets formalisms. The concept of CO-OPN was extensively documented in the doctoral thesis[1] of Matteo RISOLDI.

References

  1. {{:Thesis/A methodology for the development of complex domain specific languages}}

Related Pages