Algebraic invariants of Data Petri Nets.

List of relevant publications (algebraic methods for automata over infinite alphabets)

• Linear Combinations of Unordered Data Vectors Piotr Hofman Jérôme Leroux and Patrick Totzke
• Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman

List of supported publications

2018

• Linear Equations with Ordered Data work with Sławomir Lasota.

2019

• Timed Basic Parallel Processes work with Lorenzo Clemente, and Patrick Totzke (supported by NCN grant UMO-2016/21/D/ST6/01368)
• Continuous Reachability for Unordered Data Petri Nets is in PTime work with Utkarsh Gupta, Preey Shah, and S. Akshay

2020

2021

• Linear equations for unordered data vectors work with Jakub Różycki.
• Parikh's theorem for infinite alphabets work with Marta Juzepczuk, Slawomir Lasota, and Mohnish Pattathurajan

2022

• Solvability of orbit-finite systems of linear equations. work with Arka Ghosh and Slawomir Lasota.

People involved

• Piotr Hofman
• Sławomir Lasota
• Jérôme Leroux
• Ranko Lazic
• Radosław Piórkowski
• Mohnish Pattathurajan
• Arka Ghosh
• S Akshay
• Preey Shah
• Utkarsh Gupta
• Rajdeep Yadav
• Jakub Różycki

The project "Algebraic invariants for data nets" was supported by

Grant number UMO-2016/21/D/ST6/01368.

contact

Faculty of Mathematics, Informatics and Mechanics at the University of Warsaw.
room 4580
mail: Piotr.Hofman  at  uw.edu.pl