Výsledky vyhledávání

0444400 - MÚ 2016 RIV FR eng C - Konferenční příspěvek (zahraniční konf.)
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Modeling of timed Petri nets using deterministic (max,+) automata.
Proceedings of the 12th International Workshop on Discrete Event Systems. Paris: IFAC, 2014 - (Lesage, J.; Faure, J.; Cury, J.; Lennartson, B.), s. 471-476. ISBN 978-3-902823-61-8. ISSN 1474-6670.
[12th International Workshop on Discrete Event Systems (WODES 2014). Paris (FR), 14.05.2014-16.05.2014]
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) automate * timed Petri nets * determinization
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/65187.html
Trvalý link: http://hdl.handle.net/11104/0246941