Universidad Complutense de Madrid
E-Prints Complutense

Replicated ambient Petri nets

Impacto

Downloads

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

[img]
Preview
PDF
1MB

Official URL: http://link.springer.com/content/pdf/10.1007%2F3-540-44862-4_84


URLURL Type
http://www.springer.com/Publisher


Abstract

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