Timed-arc Petri nets (TAPN’s) are not Turing powerful, because, in particular, they cannot
simulate a counter with zero testing. Thus, we could think that this model does not increase …

PBC (Petri Box Calculus) is a process algebra where real parallelism of concurrent systems
can be naturally expressed. One of its main features is the definition of a denotational …

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 …

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 …

Several years before the popularization of the Internet, Mark Weiser proposed the concept of
ubiquitous computing with the purpose of enhancing the use of computers by making many …

Actualmente, Python es uno de los lenguajes de programación más populares y con mayor
demanda en el mercado laboral. Su facilidad de aprendizaje y uso, así como el soporte …

In this paper we extend our basic model of Ubiquitous Nets, by adding a replication operator
that creates new copies of the net firing the replicating transition. We prove that the location …

En el trabajo se realiza un estudio exhaustivo de una extensión con tiempo de PBC (Petri
Box Calculus), que es un modelo formal de especificación de sistemas concurrentes en el …

Both the Ambient Calculus by L. Cardelli and the Elementary Object Systems by R. Valk
model the behaviour of mobile systems. The Ambient Calculus is based on the concept of …

In this paper we propose a progressive technique for teaching recursion with the aim of
making easier the understanding of this concept by students of other areas than computer …