Replicated ambient Petri nets



Downloads per month over past year

Frutos Escrig, David de and Marroquín Alonso, Olga (2003) Replicated ambient Petri nets. In Computational Science — ICCS 2003 : International Conference Melbourne, Australia and St. Petersburg, Russia June 2–4, 2003 Proceedings, Part II. Lecture notes in computer science (2658). Springer, pp. 774-783. ISBN 978-3-540-40195-7

[thumbnail of Frutos16springer.pdf]

Official URL:


Recently we have introduced Ambient Petri nets, as a multilevel extension of the Elementary Object Systems, that can be used to model the concept of nested ambients from the Ambient Calculus. Both mobile computing and mobile computation are supported by that calculus, and then by means of our Ambient Petri nets we get a way to introduce in the world of Petri nets these important features of nowadays computing. Nevertheless, our basic proposal does not yet provide the suitable background for the modeling of replication, one of the basic operators from the original calculus, by means of which infinite processes are introduced and treated in a very simple way. In this paper we enrich our framework by introducing that operator. We obtain a simple and nice model in which the basic nets are still static and finite, since the dynamics of the systems can be covered by the adequate notion of marking, where all the copies generated by the application of the replication operator will live together, without interfering in an inadequate way.

Item Type:Book Section
Uncontrolled Keywords:Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Subjects:Sciences > Computer science
ID Code:20692
Deposited On:08 Apr 2013 11:14
Last Modified:10 Aug 2018 08:25

Origin of downloads

Repository Staff Only: item control page