Fundamenta Informaticae - Tom Vol. 113, nr 3/4 (2011) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 113, nr 3/4

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2011

Identyfikatory

Zawartość wolumenu

Vol. 113, nr 3/4
- artykuł: Separability in Persistent Petri Nets (Best E., Darondeau P.), s. 179-203
- artykuł: Learning Workflow Petri Nets (Esparza J., Leucker M., Schlund M.), s. 205-228
- artykuł: High-Level Petri Net Model Checking with AlPiNA (Hostettler S., Marechal A., Linard A., Risoldi M., Buchs D.), s. 229-264
- artykuł: On Three Alternative Characterizations of Combined Traces (Le D. T. M.), s. 265-293
- artykuł: Wendy : A Tool to Synthesize Partners for Services (Lohmann N., Weinberg D.), s. 295-311
- artykuł: Accelerations for the Coverability Set of Petri Nets with Names (Rosa-Velardo F., Martos-Salgado M., Frutos-Escrig D. d.), s. 313-341
- artykuł: Light Region-based Techniques for Process Discovery (Solé M., Carmona J.), s. 343-376
- artykuł: Can Stubborn Sets Be Optimal? (Valmari A., Hansen H.), s. 377-397
- artykuł: Causal Behavioural Profiles - Efficient Computation, Applications and Evaluation (Weidlich M., Mendling J., Polyvyanyy A., Weske M.), s. 399-435

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ć.