MATEMATYCZNE METODY MODELOWANIA I ANALIZY SYSTEMÓW WSPÓŁBIEŻNYCH MASYW 2010

ISBN: 978-83-63159-01-6

172 stron
format: B5
oprawa: miękka
Rok wydania: 2011

Niniejsza książka zawiera zbiór prac wybranych z tych, które były prezentowane na pierwszych warsztatach naukowych MASYW 2010. Warsztaty odbyły się w czerwcu 2010 w Tleniu (Polska) i były współfinansowane przez Ministerstwo Nauki i Szkolnictwa Wyższego w ramach projektu No. N N206 258035. Po warsztatach, autorzy zostali zaproszeni do poprawienia i rozszerzenia swoich prac. Zgłoszone prace zostały zrecenzowane przed edytorów tego tomu jak również przez zewnętrznego recenzenta. Prace zamieszczone w tej książce zostały napisane po angielsku lub po polsku.Zaakceptowane prace dotyczą wyników uzyskanych w dziedzinie sieci Petriego i innych modeli systemów.

SPIS TREŚCI

Petri Net Languages Revisited Antoni MazurkiewiczO kilku problemach decyzyjnych w p/t-sieciach oraz sieciach Kamila Barylska, Łukasz Mikulski, Edward OchmańskiUczący się system sprężynowy optymalizowany w sposób współbieżny Maja Czoków i Tomasz SchreiberPetri Nets in Immunological System Modeling Anna Gogolińska, Edward Ochmański, Wiesław NowakNonviolence Petri Nets without Weights and Selfloops Szymon Kaniewski, Łukasz Mikulski, Edward OchmanskiPost Correspondence Problem with Partially Commutative Alphabets Barbara Klunder i Wojciech RytterSegmentacja obrazów cyfrowych wykorzystująca model wielokątnych pólMarkowa w środowisku obliczeń współbieżnych Rafał KluszczyńskiBounded Model Checking for Parametric Timed Automata Michał Knapik i Wojciech PenczekGPU Accelerated Smooth Formation Redeployment in MultiagentEnvironment Michał Matuszak i Tomasz SchreiberBDD-based Bounded Model Checking for Elementary Net Systems Artur Męski, Wojciech Penczek, Agata PółrolaO maksymalnych powtórzeniach w śladach Mazurkiewicza Łukasz Mikulski i Marcin PiątkowskiTowards Automatic Composition of Web Services: SAT-BasedConcretisation of Abstract Scenarios Artur Niewiadomski, Wojciech Penczek, Agata Półrola, Maciej Szreter,Andrzej ZbrzeznyDwupoziomowy model sieciowy w automatycznej kompozycji usług Ewa OchmańskaPrawa bezskalowe w grafach przepływu informacji dla geometrycznych sieci neuronowych, symulacje w środowisku współbieżnym Jarosław Piersa i Tomasz SchreiberZastosowanie X problemu Hilberta w dowodzeniu nierozstrzygalnościproblemów decyzyjnych związanych z sieciami Petriego Agnieszka Polak i Przemysław KrysztowiakAnaliza i kategoryzacja tekstów w ujęciu programowania równoległego Błażej Zyglarski