Concurrent Object-Oriented Petri Nets
Jump to navigation
Jump to search
Concurrent Object-Oriented Petri Net(Q2931810) is a specification language is based on both algebraic specifications and algebraic Petri nets formalisms.
References
Related Pages