CO-OPN

From PKC
Revision as of 12:04, 30 July 2022 by Benkoo (talk | contribs) (Removed redirect to Concurrent Object-Oriented Petri Net)
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.

References


Related Pages