Fundamenta Informaticae - Tom Vol. 131, nr 1 (2014) - 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. 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ć.