Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Automatyczna analiza systemów współbieżnych

2017/27/B/ST6/02093

Słowa kluczowe:

modele formalne systemów współbieżnych sieci Petriego regularna separowalność pokrywalność,

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna

Panel:

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

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Sławomir Lasota 

Liczba wykonawców projektu: 6

Konkurs: OPUS 14 - ogłoszony 2017-09-15

Przyznana kwota: 768 800 PLN

Rozpoczęcie projektu: 2018-07-20

Zakończenie projektu: 2021-12-19

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

Status projektu: Projekt rozliczony

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego

  • Publikacje w czasopismach (5)
  • Teksty w publikacjach pokonferencyjnych (5)
  1. A lower bound for the coverability problem in acyclic pushdown VAS IF: 0,837
    Autorzy:
    M. Englert, P.Hofman, S. Lasota, R. Lazic, J. Leroux, J. Straszyński
    Czasopismo:
    Information Processing Letters (rok: 2021, tom: 167, strony: 106079), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.ipl.2020.106079 - link do publikacji
  2. Algebraic Structure of Step Traces and Interval Traces IF: 1,2
    Autorzy:
    Ryszard Janicki, Łukasz Mikulski
    Czasopismo:
    Fundamenta Informaticae (rok: 2020, tom: 175, strony: 253-280), Wydawca: PTM
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2020-1956 - link do publikacji
  3. Investigating Reversibility of Steps in Petri Nets IF: 1333
    Autorzy:
    David de Frutos-Escrig, Maciej Koutny, Łukasz Mikulski
    Czasopismo:
    Fundamenta Informaticae (rok: 2021, tom: 183(1-2), strony: 67-96), Wydawca: PTM
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2021-2082 - link do publikacji
  4. Investigating Reversibility of Steps in Petri Nets IF: 1,2
    Autorzy:
    David de Frutos-Escrig, Maciej Koutny, Łukasz Mikulski
    Czasopismo:
    Fundamenta Informaticae (rok: 2021, tom: 183(1-2), strony: 67-96), Wydawca: PTM
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2021-2082 - link do publikacji
  5. The Reachability Problem for Petri Nets is Not Elementary IF: 3,672
    Autorzy:
    W. Czerwiński, S. Lasota, R. Lazic, J. Leroux, F. Mazowiecki
    Czasopismo:
    Journal of the ACM (rok: 2021, tom: 68(1), strony: 7:1-7:28), Wydawca: Association for Computing Machinery
    Status:
    Opublikowana
    Doi:
    10.1145/3422822 - link do publikacji
  1. New Pumping Technique for 2-Dimensional VASS
    Autorzy:
    W. Czerwiński, S. Lasota, C. Löding, R. Piórkowski
    Konferencja:
    MFCS 2019 (rok: 2019, ), Wydawca: Leibniz International Proceedings in Informatics
    Data:
    konferencja 26-30.09.2019
    Status:
    Opublikowana
  2. The Reachability Problem for Petri Nets is Not Elementary
    Autorzy:
    W. Czerwiński, S. Lasota, R. Lazic, J. Leroux, F. Mazowiecki
    Konferencja:
    STOC 2019 - 51st ACM Symposium on Theory of Computing (rok: 2019, ), Wydawca: ACM
    Data:
    konferencja 23-26.06.2019
    Status:
    Opublikowana
  3. Timed Games and Deterministic Separability
    Autorzy:
    L.Clemente, S.Lasota, R.Piórkowski
    Konferencja:
    ICALP 2020 (rok: 2020, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 2020.07.8-11
    Status:
    Opublikowana
  4. Reachability in fixed dimension vector addition systems with states
    Autorzy:
    W. Czerwiński, S. Lasota, R. Lazic, J. Leroux, F. Mazowiecki
    Konferencja:
    CONCUR (rok: 2020, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 1-4.-09.2020
    Status:
    Opublikowana
  5. Improved lower bounds for reachability in vector addition systems
    Autorzy:
    W. Czerwiński, S. Lasota, Ł. Orlikowski
    Konferencja:
    ICALP 2021 (rok: 2021, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 12-16.07.2021
    Status:
    Opublikowana