Concurrent Object-Oriented Petri Nets
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