21 citations · 61 across the 9 of their papers we have counts for
1 paper · 1 filter
Anna Philippou, Kyriaki Psara
Petri nets are a mathematical language for modeling and reasoning about distributed systems. In this paper we propose an approach to Petri nets for embedding reversibility, i.e., t…