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. 137, nr 1
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2015
Identyfikatory
Zawartość wolumenu
Vol. 137, nr 1
artykuł:
Complexity Analysis of Continuous Petri Nets
(
Fraca E.
,
Haddad S.
), s. 1--28
artykuł:
ω-Petri Nets : Algorithms and Complexity
(
Geeraerts G.
,
Heußner A.
,
Praveen M.
,
Raskin J.-F.
), s. 29--60
artykuł:
Complexity Results for Problems of Communication-Free Petri Nets and Related Formalisms
(
Mayr E. W.
,
Weihmann J.
), s. 61--86
artykuł:
Generalizing the Compositions of Petri Nets Modules
(
Marechal A.
,
Buchs D.
), s. 87--116
artykuł:
Verification of Scenarios in Petri Nets Using Compact Tokenflows
(
Bergenthum R.
,
Lorenz R.
), s. 117--142
artykuł:
Persistent and Nonviolent Steps and the Design of GALS Systems
(
Fernandes J.
,
Koutny M.
,
Mikulski Ł
,
Pietkiewicz-Koutny M.
,
Sokolov D.
,
Yakovlev A.
), s. 143--170
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ć.