Concurrent Object-Oriented Petri Nets

From PKC
Revision as of 12:03, 30 July 2022 by Benkoo (talk | contribs)
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