3 citations · 10 across the 10 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019
Timed Basic Parallel Processes
Lorenzo Clemente, Piotr Hofman, Patrick Totzke
Timed basic parallel processes (TBPP) extend communication-free Petri nets (aka. BPP or commutative context-free grammars) by a global notion of time. TBPP can be seen as an extens…
cs.FL2019
Continuous Reachability for Unordered Data Petri nets is in PTime
Utkarsh Gupta, Preey Shah, S. Akshay +1
Unordered data Petri nets (UDPN) are an extension of classical Petri nets with tokens that carry data from an infinite domain and where transitions may check equality and disequali…