PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
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. 131, nr 1
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2014
Identyfikatory
Uwagi
Issue Title : Application and Theory of Petri Nets and Concurrency, 2012
Zawartość wolumenu
Vol. 131, nr 1
artykuł:
A Sweep-Line Method for Büchi Automata-based Model Checking
(
Evangelista S.
,
Kristensen L. M.
), s. 27--53
artykuł:
Safety and Soundness for Priced Resource : Constrained Workflow Nets
(
Martos-Salgado M.
,
Rosa-Velardo F.
), s. 55--80
artykuł:
Complexity of the Soundness Problem of Workflow Nets
(
Liu G. J.
,
Sun J.
,
Liu Y.
,
Dong J. S.
), s. 81--101
artykuł:
Process Discovery and Conformance Checking Using Passages
(
van der Aalst W. M. P.
,
Verbeek H. M. W.
), s. 103--138
artykuł:
Modelling Search Engines Performance Using Coloured Petri Nets
(
Gil-Costa V.
,
Marin M.
,
Inostrosa-Psijas A.
,
Lobos J.
,
Bonacic C.
), s. 139--166
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ć.