Verification of Scenarios in Petri Nets Using Compact Tokenflows.
| Autor: | Bergenthum, Robin1 robin.bergenthum@fernuni-hagen.de, Lorenz, Robert2 robert.lorenz@informatik.uni-augsburg.de |
|---|---|
| Zdroj: | Fundamenta Informaticae. 2015, Vol. 137 Issue 1, p117-142. 26p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|