CO-OPN

From PKC
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