Počet záznamů: 1
Modeling of interval P-time Petri nets using dioid algebra
- 1.
SYSNO ASEP 0348271 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Modeling of interval P-time Petri nets using dioid algebra Tvůrce(i) Špaček, P. (CZ)
Komenda, Jan (MU-W) RID, SAI, ORCIDZdroj.dok. Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). - Berlin : The International Federation of Automatic Control, 2010 / Raisch J. ; Giua A. ; Lafortune S. ; Moor T. - ISBN 978-3-902661-79-1 Rozsah stran s. 322-327 Poč.str. 6 s. Akce 10th International Workshop on Discrete Event Systems Datum konání 29.08.2010-01.09.2010 Místo konání Berlin Země DE - Německo Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova timed discrete-event systems ; product semirings ; P-time Petri nets ; dead tokens Vědní obor RIV BA - Obecná matematika CEZ AV0Z10190503 - MU-W (2005-2011) EID SCOPUS 80051971290 DOI 10.3182/20100830-3-DE-4013.00052 Anotace In this paper 1-safe interval P-time Petri nets are described using linear description in an interval like idempotent semiring. This semiring, which is just the product of (R,max,+) and (R,min,+) semirings, enables linear letter driven description similar to the one known for timed Petri nets. Examples illustrating our approach show also an application of this description to dead token detection. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2011
Počet záznamů: 1