Application of product dioids for dead token detection in interval P-time event graphs

0370195 - MÚ 2012 RIV IT eng C - Conference Paper (international conference)
Komenda, Jan - Lahaye, S. - Špaček, P.
Application of product dioids for dead token detection in interval P-time event graphs.
Proceedings of the 18th IFAC World Congres, 2011. Milano: IFAC, 2011 - (Bittanti, S.; Cenedese, A.; Zampieri, S.), s. 6054-6059. ISBN 978-3-902661-93-7.
[18th IFAC World Congress. Milano (IT), 28.08.2011-02.09.2011]
Grant - others:European Commission(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : interval P-time event graphs * product semirings * dead tokens
Subject RIV: BA - General Mathematics
http://www.ifac-papersonline.net/Detailed/49473.html

Linear description of interval P-time event graphs using a product idempotent semiring is proposed and applied to dead token detection. The dependence of dead token on initial condition is studied using residuation theory. Finally, the relationship with the spectral theory of matrices over product semirings is discussed.
Permanent Link: http://hdl.handle.net/11104/0204065