Search results
- 1.0542547 - MÚ 2022 RIV NL eng C - Conference Paper (international conference)
Komenda, Jan - Lai, Aiwen - Godoy Soto, José Damián - Lahaye, S. - Boimond, J.-L.
Modeling of safe time Petri nets by interval weighted automata.
IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. Amsterdam: Elsevier, 2020 - (Basilio, J.), s. 187-192. ISSN 2405-8963.
[15th Workshop on Discrete Event Systems (WODES 2020). Rio de Janeiro (BR), 11.11.2020-13.11.2020]
R&D Projects: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institutional support: RVO:67985840
Keywords : P-time Petri nets * T-time Petri nets * interval weighted automata
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.018
Permanent Link: http://hdl.handle.net/11104/0319935File Download Size Commentary Version Access Komenda3.pdf 1 411 KB Publisher’s postprint open-access - 2.0348279 - MÚ 2011 RIV DE eng C - Conference Paper (international conference)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Synchronous composition of interval weighted automata.
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 328-333. ISBN 978-3-902661-79-1.
[10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
Grant - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : timed discrete-event systems * product interval automata * T-time Petri nets * synchronous composition
Subject RIV: BA - General Mathematics
http://www.ifac-papersonline.net/Detailed/42947.html
Permanent Link: http://hdl.handle.net/11104/0188849File Download Size Commentary Version Access Komenda2.pdf 1 213.6 KB Author´s preprint require