PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 183, nr 1-2
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2021
Identyfikatory
Zawartość wolumenu
Vol. 183, nr 1-2
artykuł:
Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
(
Devillers Raymond
), s. 1--31
artykuł:
Coverability, Termination, and Finiteness in Recursive Petri Nets
(
Finkel Alaina
,
Haddad Sergeb
,
Khmelnitsky Igor
), s. 33--66
artykuł:
Investigating Reversibility of Steps in Petri Nets
(
de Frutos Escrig David
,
Koutny Maciej
,
Mikulski Łukasz
), s. 67--96
artykuł:
Cost Problems for Parametric Time Petri Nets
(
Lime Didiera
,
Roux Olivier H.
,
Seidner Charlotte
), s. 97--123
artykuł:
The Complexity of Synthesis of b-Bounded Petri Nets
(
Tredup Ronny
), s. 125--167
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.