Joeri Exelmans
5962a476c0
rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism
|
1 年之前 | |
|---|---|---|
| .. | ||
| cbd | 1 年之前 | |
| conformance | 1 年之前 | |
| model_transformation | 1 年之前 | |
| petrinet | 1 年之前 | |
| semantics | 1 年之前 | |
| woods | 1 年之前 | |