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. 122, nr 1-2
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2013
Identyfikatory
Zawartość wolumenu
Vol. 122, nr 1-2
artykuł:
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning
(
Reynier P.-A.
,
Servais F.
), s. 1--30
artykuł:
Branching Processes of General Petri Nets
(
Couvreur J. M.
,
Poitrenaud D.
,
Weil P.
), s. 31--58
artykuł:
Refinement of Synchronizable Places with Multi-workflow Nets
(
Hee K. N. v.
,
Sidorova N.
,
Werff J. M. v. d.
), s. 59--83
artykuł:
A Petri Net Interpretation of Open Reconfigurable Systems
(
Peschanski F.
,
Klaudel H.
,
Devillers R.
), s. 85--117
artykuł:
Mutex Causality in Processes and Traces of General Elementary Nets
(
Kleijn J.
,
Koutny M.
), s. 119--146
artykuł:
Synthesis and Analysis of Product-form Petri Nets
(
Haddad S.
,
Mairesse J.
,
Nguyen H. T.
), s. 147--172
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ć.