Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Algebraic invariants of Data Petri Nets.

2016/21/D/ST6/01368

Keywords:

Petri Nets linear equation state equation Data Petri Nets invariants

Descriptors:

  • ST1_15: Mathematical aspects of computer science
  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Piotr Hofman 

Number of co-investigators in the project: 6

Call: SONATA 11 - announced on 2016-03-15

Amount awarded: 319 330 PLN

Project start date (Y-m-d): 2017-01-27

Project end date (Y-m-d): 2022-01-26

Project duration:: 60 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Equipment purchased [PL]

  1. Komputer przenośny. (2 szt.) (15 000 PLN)
  2. oprogramowanie pakiet office 2016.

Information in the final report

  • Publication in academic press/journals (1)
  • Articles in post-conference publications (5)
  1. Linear equations for unordered data vectors
    Authors:
    Jakub Różycki i Piotr Hofman
    Academic press:
    Logical Methods in Computer Science (tom: Brak, strony: ), Wydawca: Logical Methods in Comput
    Status:
    Submitted
    DOI:
    brak - link to the publication
  1. Continuous Reachability for Unordered Data Petri nets is in PTime
    Authors:
    Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman
    Conference:
    FoSSaCs (rok: 2019, ), Wydawca: Springer's Lecture Notes in Computer Science series.
    Data:
    konferencja 06.04-11.04 2019
    Status:
    Published
    DOI:
    link to the publication
  2. Linear Equations with Ordered Data
    Authors:
    Hofman, Piotr, Lasota, Slawomir
    Conference:
    CONCUR 2018 (rok: 2018, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja Wrzesień 4-7, 2018
    Status:
    Published
    DOI:
    link to the publication
  3. Parikh's theorem for infinite alphabets
    Authors:
    Piotr Hofman, Marta Juzepczuk, Sławomir Lasota i Mohnish Pattathurajan
    Conference:
    LICS 2021 (rok: 2021, ), Wydawca: IEEE
    Data:
    konferencja 29.06.2021-03.07.2021
    Status:
    Published
  4. Timed Basic Parallel Processes.
    Authors:
    Lorenzo Clemente, Piotr Hofman, Patrick Totzke
    Conference:
    CONCUR 2019 (rok: 2019, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja Sierpień 27-30, 2019,
    Status:
    Published
  5. Solvability of orbit-finite systems of linear equations.
    Authors:
    Arka Ghosh, Piotr Hofman, Slawomir Lasota:
    Conference:
    LICS 2022 (rok: 2022, ), Wydawca: ACM/IEEE
    Data:
    konferencja 2022.08.2-5
    Status:
    Submitted

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy