Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Algebraiczne niezmienniki dla Sieci Petriego z danymi.

2016/21/D/ST6/01368

Słowa kluczowe:

Sieci Petriego równania liniowe równanie stanów Sieci z danymi niezmienniki

Deskryptory:

  • ST1_15: Matematyczne aspekty informatyki
  • 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, m.in.:

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Piotr Hofman 

Liczba wykonawców projektu: 6

Konkurs: SONATA 11 - ogłoszony 2016-03-15

Przyznana kwota: 319 330 PLN

Rozpoczęcie projektu: 2017-01-27

Zakończenie projektu: 2022-01-26

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

Status projektu: Projekt w realizacji

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

  • Teksty w publikacjach pokonferencyjnych (6)
  1. Linear Equations with Ordered Data
    Autorzy:
    Hofman, Piotr, Lasota, Slawomir
    Konferencja:
    CONCUR 2018 (rok: 2018, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja Wrzesień 4-7, 2018
    Status:
    Opublikowane
  2. Timed Basic Parallel Processes.
    Autorzy:
    Lorenzo Clemente, Piotr Hofman, Patrick Totzke
    Konferencja:
    CONCUR 2019 (rok: 2019, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja Sierpień 27-30, 2019,
    Status:
    Opublikowane
  3. Generalized linear equations with unordered data.
    Autorzy:
    Jakub Różycki i Piotr Hofman
    Konferencja:
    Status:
    Złożone
  4. Generalized linear equations with unordered data.
    Autorzy:
    Jakub Różycki i Piotr Hofman
    Konferencja:
    Status:
    Złożone
  5. Parikh's theorem for infinite alphabets
    Autorzy:
    Piotr Hofman, Marta Juzepczuk, Sławomir Lasota i Mohnish Pattathurajan
    Konferencja:
    Status:
    Złożone
  6. Continuous Reachability for Unordered Data Petri nets is in PTime
    Autorzy:
    Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman
    Konferencja:
    FoSSaCs (rok: 2019, ), Wydawca: Springer's Lecture Notes in Computer Science series.
    Data:
    konferencja 06.04-11.04 2019
    Status:
    Przyjęte