Modeling of interval P-time Petri nets using dioid algebra

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F10%3A00348271" target="_blank" >RIV/67985840:_____/10:00348271 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216305:26110/10:PU88113
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Modeling of interval P-time Petri nets using dioid algebra
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Modeling of interval P-time Petri nets using dioid algebra
Popis výsledku anglicky
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.

Rok uplatnění
2010
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010)
ISBN
978-3-902661-79-1
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
—
Název nakladatele
The International Federation of Automatic Control
Místo vydání
Berlin
Místo konání akce
Berlin
Datum konání akce
29. 8. 2010
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)