Le produit synchrone des automates (max,+)

0330875 - MÚ 2010 RIV FR fre C - Conference Paper (international conference)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Le produit synchrone des automates (max,+).
[Synchronous product of **(max,+) **automata.]
Modélisation des systèmes réactifs : MSR 2009. Paris: Lavoisier, 2009 - (Roux, O.; Lime, D.), s. 1033-1047. ISBN 2-7462-2601-4.
[7ième Colloque Francophone sur la Modélisation des Systèmes. Nantes (FR), 16.11.2009-18.11.2009]
Grant - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : (max,+) automata * synchronous product * parallelism
Subject RIV: BA - General Mathematics

Synchronous products of (max,+) automata are introduced as multi-event (max,+) automata (which correspond to a class of timed automata with several clocks) and their behavior is studied. A formula for the behavior of synchronous product is obtained.

Synchronous products of (max,+) automata are introduced as multi-event (max,+) automata (which correspond to a class of timed automata with several clocks) and their behavior is studied. A formula for the behavior of synchronous product is obtained.

Synchronizovaný součin (max,+) automatu definujeme jako multi-událostní (max,+) automaty (odpovídají třídě časovaných automatů s několika stopky) a studujeme jejich chování, pro které odvodíme vzorec.
Permanent Link: http://hdl.handle.net/11104/0176557