Author Index Abdullahi 0 1 2 Ismaila Jihad Akhundov 0 1 2 Jafar Alasgarov 0 1 2 Barylska 0 1 2 Kamila 0 1 2 Chrzastowski-Wachtel 0 1 2 Piotr Copik 0 1 2 Marcin Czaja 0 1 2 Ludwik 0 1 2 Erofeev 0 1 2 Evgeny 0 1 2 Garanina 0 1 2 Natalia Gomolinska 0 1 2 Anna Grochowalski 0 1 2 Piotr Gruska 0 1 2 Damas 0 1 2 Haakma 0 1 2 Reinder 0 1 2 Jankowski 0 1 2 Andrzej 0 1 2 Kacprzak 0 1 2 Magdalena Koutny 0 1 2 Maciej Kozlova 0 1 2 Darya 0 1 2 Lanotte 0 1 2 Ruggero 0 1 2 Mikulski 0 1 2 Lukasz Muller 0 1 2 Berndt 0 1 2 Nguyen 0 1 2 Linh Anh Niewiadomski 0 1 2 Artur 0 1 2 Pancerz , Krzysztof Pataky, Mikulas Pelz, Elisabeth Penczek, Wojciech Piatkowski, Marcin Placzek, Stanislaw Polkowski, Lech Rataj , Artur Redziejowski, Roman Rykaczewski, Krzysztof Zakharov , Vladimir Zbrzezny, Agnieszka Zbrzezny, Andrzej 2016 -

10 11 7 14, 20 24 10 3 5 17 15 7 3 13 12 5 12 17 11 18, 19 Keyword Index circular statistics composition computational complexity concrete planning concurrency coordination coordination principle coordinator structure data analysis decomposition directed similarity Discrete Timed Automata Distributed computer systems Distributed mutual exclusion Distributed shared memory dominance relation Elementary Reference-net System extrapolation

nite state automaton formal concept Formal Concept Analysis Formal grammars formal model Future state prognostic

GA GEO GPGPU graph database hierarchy Hybrid Automata hybrid automata hybrid systems information ow information retrieval information system instability interleaving Intrusion detection system isomorphic property KDD99 Cup label re nements lexical ambiguity Limited backtracking model checking Monte-Carlo simulation MTL Multi-agent systems Multi-agent temporal logic multiagent systems nets-within-nets non{determinism ontology ontology population opacity optimal policy Over-Approximation OWL 2 Parsing Expression Grammar Petri net Petri nets planning tool Prism probabilistic logics 16 16 19 15 21 13 12 12 20 10 11 25 25 14 9 14 3 10 1 probabilistic model checking process algebras process discovery process semantics Reachability reactive system regular language reversibility reversible computation rough mereology rough set rough set based classi er rough set theory rough sets SA SAT Scott information systems security semigroup sFlow simplicial complex simularity simulation SMT sorites paradox state graphs statistical model checking superposition syntactic ambiguity temporal logics Timed Petri Nets Top-down parsing topology transducer trips and travels true concurrency truly rough inclusion unsupervised learning vague concept vagueness web service composition