Algebraic invariants for Data Petri Nets
For non experts in Polish
Papers
To Do.
Software
To Do.
Literature
Linear Combinations of Unordered Data Vectors
Nets with tokens which carry data
Coverability Trees for Petri Nets with Unordered Data
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems
Free Choice Petri Nets
Current research questions
Tokens with multiple data: Partition of a multigraph.
People involved
Piotr Hofman
SÅ‚awomir Lasota
Important links
Strona z listÄ… konferencji
Grant info
Polish NCN grant 2016/21/D/ST6/01368
numer grantu dla SOB - GR-3283