Fundamenta Informaticae - Tom Vol. 169, nr 1-2 (2019) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 169, nr 1-2

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2019

Identyfikatory

Uwagi

Application and Theory of Petri Nets and Concurrency : Special Issue of Selected Papers from Petri Nets 2018

Zawartość wolumenu

Vol. 169, nr 1-2
- artykuł: Analysis and Synthesis of Weighted Marked Graph Petri Nets : Exact and Approximate Methods (Devillers Raymond, Hujsa Thomas), s. 1--30
- artykuł: Operational Semantics, Interval Orders and Sequences of Antichains (Janicki Ryszard, Koutny Maciej), s. 31--55
- artykuł: Synthesis for Various Petri Net Classes with Union/Find (Wolf Karsten), s. 57--84
- artykuł: Formal Properties of Petri’s Cycloid Systems (Valk Rüdiger), s. 85--121
- artykuł: Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States (Jančar Petr, Leroux Jérôme, Sutre Grégoire), s. 123--150
- artykuł: Lucent Process Models and Translucent Event Logs (van der Aalst Wil M. P.), s. 151--177

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