CO-OPN (Q2931810)
Jump to navigation
Jump to search
specification language is based on both algebraic specifications and algebraic Petri nets formalisms
- Concurrent Object-Oriented Petri Nets
Language | Label | Description | Also known as |
---|---|---|---|
English | CO-OPN |
specification language is based on both algebraic specifications and algebraic Petri nets formalisms |
|