Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Nowe metody kompleksowej analizy współbieżnych systemów obliczeniowych

2013/09/D/ST6/03928

Słowa kluczowe:

sieci Petriego ślady obliczeń współbieżność modelowanie architektura wielordzeniowa

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST6_1: Architektura systemów komputerowych, przetwarzanie wszechobecne
  • ST6_6: Algorytmika, algorytmy równoległe, rozproszone i sieciowe, algorytmiczna teoria gier

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

woj. kujawsko-pomorskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Łukasz Mikulski 

Liczba wykonawców projektu: 3

Konkurs: SONATA 5 - ogłoszony 2013-03-15

Przyznana kwota: 234 470 PLN

Rozpoczęcie projektu: 2014-02-18

Zakończenie projektu: 2017-08-17

Planowany czas trwania projektu: 42 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. urządzenie mobilne - netbook / tablet (3 szt.). Za kwotę 342 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (10)
  • Teksty w publikacjach pokonferencyjnych (13)
  1. Alphabets of acyclic invariant structures
    Autorzy:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Czasopismo:
    Fundamenta Informaticae (rok: 2017, tom: 154, strony: 207-224), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2017-1562 - link do publikacji
  2. Characterising Concurrent Histories
    Autorzy:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Czasopismo:
    Fundamenta Informaticae (rok: 2015, tom: 138, strony: 21-42), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2015-1212 - link do publikacji
  3. Conditions for Petri Net Solvable Binary Words
    Autorzy:
    Kamila Barylska, Eike Best, Evgeny Erofeev, Łukasz Mikulski, and Marcin Piątkowski
    Czasopismo:
    Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) (rok: 2016, tom: 11, strony: 137-159), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-662-53401-4 - link do publikacji
  4. Classifying invariant structures of step traces
    Autorzy:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Czasopismo:
    Journal of Computer and System Sciences (rok: 2017, ), Wydawca: Elsevier
    Status:
    Przyjęta do publikacji
    Doi:
    10.1016/j.jcss.2017.05.002 - link do publikacji
  5. GPU computations and memory access model based on Petri nets
    Autorzy:
    Anna Gogolińska, Łukasz Mikulski, Marcin Piątkowski
    Czasopismo:
    Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) (rok: 2017, tom: XIII, strony: 136-157), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-662-58381-4\_7 - link do publikacji
  6. An extension of the taxonomy of persistent and nonviolent steps
    Autorzy:
    Maciej Koutny, Łukasz Mikulski, Marta Pietkiewicz-Koutny
    Czasopismo:
    Information Sciences (rok: 2017, tom: 394-395, strony: 299-314), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.ins.2017.01.037 - link do publikacji
  7. Invariant structures and dependence relations
    Autorzy:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Czasopismo:
    Fundamenta Informaticae (rok: 2017, tom: 155, strony: 45320), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2017-1574 - link do publikacji
  8. Persistent and Nonviolent Steps and the Design of GALS Systems
    Autorzy:
    Johnson Fernandes, Maciej Koutny, Łukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
    Czasopismo:
    Fundamenta Informaticae (rok: 2015, tom: 137, strony: 143-170), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2015-1172 - link do publikacji
  9. On Decidability of Persistence Notions
    Autorzy:
    Kamila Barylska, Łukasz Mikulski
    Czasopismo:
    Fundamenta Informaticae (), Wydawca: IOS Press
    Status:
    Złożona
  10. Step Traces
    Autorzy:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Czasopismo:
    Acta Informatica (rok: 2015, tom: 53(1), strony: 45322), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s00236-015-0244-z - link do publikacji
  1. Generating CA-Plans from Multisets of Services
    Autorzy:
    Łukasz Mikulski, Artur Niewiadomski, Marcin Piątkowski, Sebastian Smyczyński
    Konferencja:
    International Workshop on Petri Nets and Software Engineering (rok: 2014, ), Wydawca: University of Hamburg, Department of Informatics
    Data:
    konferencja 23-24.06
    Status:
    Opublikowana
  2. On Decidability of Persistent Notions
    Autorzy:
    Kamila Barylska, Łukasz Mikulski
    Konferencja:
    24th International Workshop on Concurrency, Specification and Programming (rok: 2015, ), Wydawca: University of Rzeszow
    Data:
    konferencja 28-30 września
    Status:
    Opublikowana
  3. GPU computations and memory access model based on Petri nets
    Autorzy:
    Anna Gogolińska, Łukasz Mikulski, Marcin Piątkowski
    Konferencja:
    International Workshop on Petri Nets and Software Engineering PNSE'2017 (rok: 2017, ), Wydawca: University of Zaragoza
    Data:
    konferencja 25-26.06.2017
    Status:
    Opublikowana
  4. Square-Free Words over Partially Commutative Alphabets
    Autorzy:
    Łukasz Mikulski, Marcin Piątkowski, Wojciech Rytter
    Konferencja:
    Language and Automata Theory and Applications (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 2-6.03
    Status:
    Opublikowana
  5. Generating All Minimal Petri Net Unsolvable Binary Words
    Autorzy:
    Kamila Barylska, Evgeny Erofeev, Łukasz Mikulski, and Marcin Piątkowski
    Konferencja:
    Prague Stringology Conference (rok: 2016, ), Wydawca: Czech Technical University in Prague
    Data:
    konferencja 29-31 sierpnia 2016
    Status:
    Opublikowana
  6. On Generation of Context-Abstract Plans
    Autorzy:
    Łukasz Mikulski, Artur Niewiadomski, Marcin Piątkowski, Sebastian Smyczyński
    Konferencja:
    International Conference on Software Engineering and Formal Methods (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja 1-5.09
    Status:
    Opublikowana
  7. On synthesising step alphabets for acyclic invariant structures
    Autorzy:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Konferencja:
    Algorithms & Theories for the Analysis of Event Data (ATAED'2017) (rok: 2017, ), Wydawca: University of Zaragoza
    Data:
    konferencja 26-27.06.2017
    Status:
    Opublikowana
  8. Reversible Computation vs. Reversibility in Petri Nets
    Autorzy:
    Kamila Barylska, Maciej Koutny, Łukasz Mikulski, and Marcin Piątkowski
    Konferencja:
    8th Conference on Reversible Computation (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 7-8 lipca 2016
    Status:
    Opublikowana
  9. On Binary Words Being Petri Net Solvable
    Autorzy:
    Kamila Barylska, Eike Best, Evgeny Erofeev, Łukasz Mikulski, Marcin Piątkowski
    Konferencja:
    Algorithms & Theories for the Analysis of Event Data 2015 (rok: 2015, ), Wydawca: Université libre de Bruxelles
    Data:
    konferencja 22 czerwca
    Status:
    Opublikowana
  10. Order Structures for Subclasses of Generalised Traces
    Autorzy:
    Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Konferencja:
    Language and Automata Theory and Applications (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 2-6.03
    Status:
    Opublikowana
  11. Persistency and Nonviolence Decision Problems in P/T-Nets with Step Semantics
    Autorzy:
    Kamila Barylska
    Konferencja:
    International Workshop on Petri Nets and Software Engineering (rok: 2014, ), Wydawca: University of Hamburg, Department of Informatics
    Data:
    konferencja 23-24.06
    Status:
    Opublikowana
  12. Reduction of order structures
    Autorzy:
    Łukasz Mikulski, Andrey Mokhov, Marcin Piątkowski
    Konferencja:
    17th International Conference on Application of Concurrency to System Design, ACSD 2017 (rok: 2017, ), Wydawca: IEEE Computer Society
    Data:
    konferencja 28-30.06.2017
    Status:
    Opublikowana
  13. Reversing Transitions in Bounded Petri Nets
    Autorzy:
    Kamila Barylska, Evgeny Erofeev, Maciej Koutny, Łukasz Mikulski, and Marcin Piątkowski
    Konferencja:
    25th International Workshop on Concurrency, Specification and Programming (CS&P 2016) (rok: 2016, ), Wydawca: Humboldt Universitat
    Data:
    konferencja 28-30 września
    Status:
    Opublikowana