research
∙
09/06/2022
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation
Reversing Petri nets (RPNs) have recently been proposed as a net-basedap...
share
research
∙
10/07/2020
Reversible Computation in Cyclic Petri Nets
Petri nets are a mathematical language for modeling and reasoning about ...
research
∙
05/28/2019
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
Petri nets are a formalism for modelling and reasoning about the behavio...
research
∙
05/28/2019
Distributed Antenna Selection for Massive MIMO using Reversing Petri Nets
Distributed antenna selection for Distributed Massive MIMO (Multiple Inp...
research
∙
07/17/2018
Formal Verification of a Programmable Hypersurface
A metasurface is a surface that consists of artificial material, called ...
research
∙
04/10/2018
Reversible Computation in Petri Nets
Reversible computation is an unconventional form of computing where any ...
research
∙
03/04/2018
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models
In this paper we extend PALPS, a process calculus proposed for the spati...
research
∙
10/17/2017