Počet záznamů: 1  

Compositions of (max, +) automata

  1. 1.
    0443129 - MÚ 2016 RIV US eng J - Článek v odborném periodiku
    Lahaye, S. - Komenda, Jan - Boimond, J.-L.
    Compositions of (max, +) automata.
    Discrete Event Dynamic Systems-Theory and Applications. Roč. 25, 1-2 (2015), s. 323-344. ISSN 0924-6703
    Grant CEP: GA ČR(CZ) GAP103/11/0517
    Institucionální podpora: RVO:67985840
    Klíčová slova: (max,+) automata * synchronous product * asynchronous product
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 1.268, rok: 2015
    http://link.springer.com/article/10.1007/s10626-014-0186-6

    This paper presents a compositional modeling approach by means of (max,+) automata. The motivation is to be able to model a complex discrete event system by composing sub-models representing its elementary parts. A direct modeling of safe timed Petri nets using (max,+) automata is first in- troduced. Based on this result, two types of synchronous product of (max,+) automata are proposed to model safe timed Petri nets obtained by merging places and/or transitions in subnets. An asynchronous product is finally pro- posed to represent particular bounded timed Petri nets.
    Trvalý link: http://hdl.handle.net/11104/0245884
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda.pdf21.3 MBVydavatelský postprintvyžádat