Compositions of (max, +) automata

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. E-ISSN 1573-7594
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