Difference between revisions of "Concurrent Object-Oriented Petri Nets"

From PKC
Jump to navigation Jump to search
(No difference)

Revision as of 12:03, 30 July 2022

CO-OPN(Q2931810), also known as:Concurrent Object-Oriented Petri Net, is a specification language is based on both algebraic specifications and algebraic Petri nets formalisms.

References


Related Pages