Modeling of interval P-time Petri nets using dioid algebra

0348271 - MÚ 2011 RIV DE eng C - Conference Paper (international conference)
Š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 - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : timed discrete-event systems * product semirings * P-time Petri nets * dead tokens
Subject RIV: BA - General Mathematics
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.
Permanent Link: http://hdl.handle.net/11104/0188843