Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems



Downloads per month over past year

Rosa-Velardo, Fernando and Marroquín Alonso, Olga and Frutos Escrig, David de (2006) Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems. Electronic Notes in Theoretical Computer Science . ISSN 15710661

[thumbnail of defrutos_mobile.pdf]
Creative Commons Attribution Non-commercial No Derivatives.


Official URL:


The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser’s vision, ubiquitous computing still has a long way ahead to become a pervasive reality. One of the reasons for this may be the lack of widely accepted formal models capable of capturing and analyzing the complexity of the new paradigm. We propose a simple Petri Net based model to study some of its main characteristics. We model both devices and software components as a special kind of coloured Petri Nets, located in locations, that can move to other locations and synchronize with other co-located nets, offering and requesting services. We obtain an amenable model for ubiquitous computing, due to its graphical representation. We present our proposal in a progressive way, first presenting a basic model where coordination is formalized by the synchronized firing of pairs of compatible transitions that offer and request a specific service, and ad hoc networks are modeled by constraining mobility by the dynamic acquisition of locality names. Next, we introduce a mechanism for the treatment of robust security properties, namely the generation of fresh private names, to be used for authentication properties.

Item Type:Article
Uncontrolled Keywords:Mobility, Petri nets, security, specifications, Ubiquitous Computing
Subjects:Sciences > Mathematics > Combinatorial analysis
ID Code:75548
Deposited On:15 Nov 2022 15:26
Last Modified:16 Nov 2022 08:32

Origin of downloads

Repository Staff Only: item control page