Search
Now showing items 1-2 of 2
-
Model Checking Petri Nets with Names Using Data-Centric Dynamic Systems
(Springer, 2016)Petri nets with name creation and management ((Formula presented.)-PNs) have been recently introduced as an expressive model for dynamic (distributed) systems, whose dynamics are determined not only by how tokens flow in ... -
Formal verification of Petri Nets with names
(Springer, 2015)Petri nets with name creation and management have been recently introduced so as to make Petri nets able to model the dynamics of (distributed) systems equipped with channels, cyphering keys, or computing boundaries. While ...