21 citations · 35 across the 3 of their papers we have counts for
6 papers · 1 filter
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…
Reversible Computation in Cyclic Petri Nets
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…
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
Anna Philippou, Kyriaki Psara, Harun Siljak
Petri nets are a formalism for modelling and reasoning about the behaviour of distributed systems. Recently, a reversible approach to Petri nets, Reversing Petri Nets (RPN), has be…
Reversible Computation in Petri Nets
Anna Philippou, Kyriaki Psara
Reversible computation is an unconventional form of computing where any executed sequence of operations can be executed in reverse at any point during computation. It has recently…
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models
Anna Philippou, Mauricio Toro
In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an e…
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
Mauricio Toro, Anna Philippou, Sair Arboleda +2
We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an int…