Oclets – Scenario-Based Modeling with Petri Nets (Q3636847)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Oclets – Scenario-Based Modeling with Petri Nets |
scientific article |
Statements
Oclets – Scenario-Based Modeling with Petri Nets (English)
0 references
30 June 2009
0 references
scenarios
0 references
operational semantics
0 references
partial order
0 references
Petri nets
0 references
