Modeling of interval P-time Petri nets using dioid algebra
The result's identifiers
Result code in 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>
Alternative codes found
RIV/00216305:26110/10:PU88113
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Modeling of interval P-time Petri nets using dioid algebra
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010)
ISBN
978-3-902661-79-1
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
The International Federation of Automatic Control
Place of publication
Berlin
Event location
Berlin
Event date
Aug 29, 2010
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—