Snippets Groups Projects

haddadin_automaton_flat.pnml

5 years ago
58a269a2
the order of some child elements of 'graphics' is relevant. this is most... · 58a269a2
Johannes Mey authored 5 years ago
```
the order of some child elements of 'graphics' is relevant. this is most certainly a bug in the pnml framework parser
```
58a269a2

History
the order of some child elements of 'graphics' is relevant. this is most...
Johannes Mey authored 5 years ago
```
the order of some child elements of 'graphics' is relevant. this is most certainly a bug in the pnml framework parser
```