Projects search

• Principal investigator: Piotr Hofman ×

Change search criteria ↓

Search results

3 projects found matching your search criteria:

1. 1. Advancing Petri Net Theory: Deeper understanding to Classical Problems and Integration into Workflow Applications

   Principal investigator: dr Piotr Hofman

   Uniwersytet Warszawski

   Call: OPUS 27, Panel: ST6

2. 2. Algebraic invariants of Data Petri Nets.

   Principal investigator: dr Piotr Hofman

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: SONATA 11, Panel: ST6

3. 3. Simulation and bisimulation for context-free and pushdown systems

   Principal investigator: dr Piotr Hofman

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: PRELUDIUM 3, Panel: ST6