Compositions of (max+)-automata

0386930 - MÚ 2013 RIV MX eng C - Konferenční příspěvek (zahraniční konf.)
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Compositions of (max+)-automata.
Proceedings of the 11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara: IFAC, 2012 - (Ramírez-Treviño, A.; López-Mellado, E.; Lesage, J.), s. 61-66. ISBN 978-3-902823-28-1.
[11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara (MX), 03.10.2012-05.10.2012]
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) automata * synchronous composition * asynchronous composition
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/58159.html

Automata with weights (multiplicities) in the so called (max,+) semiring constitute a class of timed automata. Their modeling power has been studied in Gaubert and Mairesse (1999): at least timed safe Petri nets can be modeled by means of (max,+) automata. In this contribution, we define compositions for (max,+) automata. The motivation is to be able to model a complex system by composing sub-models representing its elementary parts. In doing so we expect two benefits: the modeling activity should be eased and enhanced since the model can be obtained in a modular manner with a good understanding of phenomena; the modeling power of (max,+) automata can be refined.
Trvalý link: http://hdl.handle.net/11104/0216166