21 citations · 37 across the 5 of their papers we have counts for
1 paper · 2 filters
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…