Počet záznamů: 1

Modeling of interval P-time Petri nets using dioid algebra

  1. 1.
    0348271 - MU-W 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Špaček, P. - Komenda, Jan
    Modeling of interval P-time Petri nets using dioid algebra.
    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.), s. 322-327. ISBN 978-3-902661-79-1.
    [10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
    Grant ostatní:EU Projekt(XE) EU.ICT.DISC 224498
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: timed discrete-event systems * product semirings * P-time Petri nets * dead tokens
    Kód oboru RIV: BA - Obecná matematika

    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.
    Trvalý link: http://hdl.handle.net/11104/0188843