Modeling of timed Petri nets using deterministic (max,+) automata
| Autor: | Lahaye, Sébastien, Komenda, Jan, Boimond, Jean-Louis |
|---|---|
| Zdroj: | In IFAC Proceedings Volumes 2014 47(2):471-476 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Lahaye, Sébastien, Komenda, Jan, Boimond, Jean-Louis |
|---|---|
| Zdroj: | In IFAC Proceedings Volumes 2014 47(2):471-476 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|