Počet záznamů: 1
Compositions of (max, +) automata
- 1.
SYSNO ASEP 0443129 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Compositions of (max, +) automata Tvůrce(i) Lahaye, S. (FR)
Komenda, Jan (MU-W) RID, SAI, ORCID
Boimond, J.-L. (FR)Zdroj.dok. Discrete Event Dynamic Systems-Theory and Applications. - : Springer - ISSN 0924-6703
Roč. 25, 1-2 (2015), s. 323-344Poč.str. 22 s. Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova (max,+) automata ; synchronous product ; asynchronous product Vědní obor RIV BA - Obecná matematika CEP GAP103/11/0517 GA ČR - Grantová agentura ČR Institucionální podpora MU-W - RVO:67985840 UT WOS 000352212000015 EID SCOPUS 84926177903 DOI 10.1007/s10626-014-0186-6 Anotace 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. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2016
Počet záznamů: 1