Difference between revisions of "CO-OPN"

From PKC
Jump to navigation Jump to search
Tag: Removed redirect
 
Line 1: Line 1:
{{WikiEntry|key=CO-OPN|qCode=2931810}}, also known as:[[Concurrent Object-Oriented Petri Nets]], is a specification language is based on both algebraic specifications and algebraic Petri nets formalisms.
{{WikiEntry|key=CO-OPN|qCode=2931810}}, 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<ref>{{:Thesis/A methodology for the development of complex domain specific
languages}}</ref> of [[Matteo RISOLDI]].
<noinclude>
<noinclude>
{{PagePostfix
{{PagePostfix

Latest revision as of 12:07, 30 July 2022

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