Modeling of interval P-time Petri nets using dioid algebra

0348271 - MÚ 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
http://www.ifac-papersonline.net/Detailed/42946.html

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