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 3-4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2021
Identyfikatory
Zawartość wolumenu
Vol. 183, nr 3-4
artykuł:
Piecewise Affine Dynamical Models of Petri Nets – Application to Emergency Call Centers
(
Allamigeon Xavier
,
Boyet Marin
,
Gaubert Stéphane
), s. 169--201
artykuł:
Inferring Unobserved Events in Systems with Shared Resources and Queues
(
Fahland Dirk
,
Denisov Vadim
,
van der Aalst Wil. M.P.
), s. 203--242
artykuł:
On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words
(
Finkel Olivier
,
Skrzypczak Michał
), s. 243--291
artykuł:
Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory
(
Kalenkova Anna
,
Polyvyanyy Artem
,
Carmona Josep
,
La Rosa Marcello
), s. 293--317
artykuł:
Symbolic and Structural Model-Checking
(
Thierry-Mieg Yann
), s. 319--342
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ć.