Structural Liveness of Immediate Observation Petri Nets
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F23%3A73620780" target="_blank" >RIV/61989592:15310/23:73620780 - isvavai.cz</a>
Výsledek na webu
<a href="https://content.iospress.com/articles/fundamenta-informaticae/fi222146" target="_blank" >https://content.iospress.com/articles/fundamenta-informaticae/fi222146</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3233/FI-222146" target="_blank" >10.3233/FI-222146</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Structural Liveness of Immediate Observation Petri Nets
Popis výsledku v původním jazyce
We look in detail at the structural liveness problem (SLP) for subclasses of Petri nets, namely immediate observation nets (IO nets) and their generalized variant called branching immediate multi-observation nets (BIMO nets), that were recently introduced by Esparza, Raskin, and Weil-Kennedy. We show that SLP is PSPACE-hard for IO nets and in PSPACE for BIMO nets. In particular, we discuss the (small) bounds on the token numbers in net places that are decisive for a marking to be (non)live.
Název v anglickém jazyce
Structural Liveness of Immediate Observation Petri Nets
Popis výsledku anglicky
We look in detail at the structural liveness problem (SLP) for subclasses of Petri nets, namely immediate observation nets (IO nets) and their generalized variant called branching immediate multi-observation nets (BIMO nets), that were recently introduced by Esparza, Raskin, and Weil-Kennedy. We show that SLP is PSPACE-hard for IO nets and in PSPACE for BIMO nets. In particular, we discuss the (small) bounds on the token numbers in net places that are decisive for a marking to be (non)live.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2023
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ů
Údaje specifické pro druh výsledku
Název periodika
FUNDAMENTA INFORMATICAE
ISSN
0169-2968
e-ISSN
1875-8681
Svazek periodika
188
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
PL - Polská republika
Počet stran výsledku
37
Strana od-do
179-215
Kód UT WoS článku
000970247300002
EID výsledku v databázi Scopus
2-s2.0-85161340483