2026-06-28T00:02:33Zhttps://docta.ucm.es/rest/oai/request
oai:docta.ucm.es:20.500.14352/505652024-07-10T15:39:37Zcom_20.500.14352_14col_20.500.14352_15
Docta Complutense author Rosa Velardo, Fernando author Frutos Escrig, David De author Marroquín Alonso, Olga 2023-06-20T10:34:06Z 2023-06-20T10:34:06Z 2007 Rosa Velardo, F., Frutos Escrig, D. & Marroquín Alonso, O. «On the Expressiveness of Mobile Synchronizing Petri Nets». Electronic Notes in Theoretical Computer Science, vol. 180, n.o 1, junio de 2007, pp. 77-94. DOI.org (Crossref), https://doi.org/10.1016/j.entcs.2005.05.048. 15710661 10.1016/j.entcs.2005.05.048 https://hdl.handle.net/20.500.14352/50565 https//doi.org/10.1016/j.entcs.2005.05.048 http://www.sciencedirect.com/science/article/pii/S1571066107003167 In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a collection of (possibly mobile) hardware devices and mobile agents, both modelled in a homogenous way and abstracting from middleware details. Our basic model introduced a colour to describe localities, but still lacked appropriate primitives to deal with security, and in fact it was equivalent to P/T nets. Then, we introduced the primitives to cope with security: a new colour for identifiers, basically corresponding to the natural numbers, that are created by means of a special transition. This mechanism allows us to deal with authentication issues. In this paper we discuss the expressiveness of the extended model with the authentication primitives. More specifically, we study several instances of the classical reachability and coverability problems. Finally, we also study a more abstract version of the mechanism to create identifiers, using abstract names, close to those in the π-calculus or the Ambient Calculus. We have proved that both models are strictly in between P/T nets and Turing machines. eng On the Expressiveness of Mobile Synchronizing Petri Nets journal article URL https://docta.ucm.es/bitstreams/4e451280-c4b5-4882-8b7c-d48d57795ec4/download File MD5 7086f3b605777e8d7f25ac3888224dfe 384384 application/pdf Frutos21springer.pdf