Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation

Anna Philippou, Kyriaki Psara

Reversing Petri nets (RPNs) have recently been proposed as a net-basedapproach to model causal and out-of-causal order reversibility. They are based on the notion of individual tok…