Concurrent Object-Oriented Petri Nets

From PKC
Jump to navigation Jump to search

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