A Petri Net Interpretation of Open Reconfigurable Systems
Frédéric Peschanski, Hanna Klaudel, Raymond Devillers · Fundamenta Informaticae · 2013
We present a Petri net interpretation of the pi-graphs - a graphical variant of the picalculus where recursion and replication are replaced by iteration. The concise and syntax-driven translation can be used to reason in Petri net terms about open re