59 citations · 220 across the 25 of their papers we have counts for
1 paper · 1 filter
Łukasz Kamiński, Sławomir Lasota
We investigate Petri nets with data, an extension of plain Petri nets where tokens carry values from an infinite data domain, and executability of transitions is conditioned by equ…