Compositions of (max, +) automata

0443129 - MÚ 2016 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GAP103/11/0517
Institutional support: RVO:67985840
Keywords : (max,+) automata * synchronous product * asynchronous product
Subject RIV: BA - General Mathematics
Impact factor: 1.268, year: 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.
Permanent Link: http://hdl.handle.net/11104/0245884