Using State Equation to Prove Non-Reachability in Timed Petrinets.
| Autor: | Burkhard, Hans-Dieter, Lindemann, Gabriela, Starke, Peter, Czaja, Ludwik, Popova-Zeugmann, Louchka, Werner, Matthias, Richling, Jan |
|---|---|
| Zdroj: | Fundamenta Informaticae. May2003, Vol. 55 Issue 2, p187. 16p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|