| Identifikační kód | RIV/00216224:14330/15:00087227 |
|---|
| Název v anglickém jazyce | Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics |
|---|
| Druh | J - Článek v odborném periodiku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2015 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 1 |
|---|
| Počet tvůrců celkem | 3 |
|---|
| Počet domácích tvůrců | 1 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Jose Antonio Mateo (státní příslušnost: ES - Španělské království)
Jiří Srba (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2753057)
Mathias Grund Soerensen (státní příslušnost: DK - Dánské království) |
|---|
| Popis výsledku v anglickém jazyce | Analysis of workflow processes with quantitative aspectslike timing is of interest in numerous time-critical applications. We suggest a workflow model based on timed-arc Petri nets and studythe foundational problems of soundness and strong (time-bounded)soundness.We first consider the discrete-time semantics (integer delays)and explore the decidability of the soundness problemsand show, among others, that soundness is decidable for monotonic workflow nets while reachability is undecidable.For general timed-arc workflow nets soundness andstrong soundness become undecidable, though we can design efficientverification algorithms for the subclass of bounded nets. |
|---|
| Klíčová slova oddělená středníkem | workflow nets; timed systems; system analysis |
|---|
| Stránka www, na které se nachází výsledek | http://content.iospress.com/articles/fundamenta-informaticae/fi1246 |
|---|
| DOI výsledku | 10.3233/FI-2015-1246 |
|---|