Replicated ambient Petri nets
| dc.book.title | Computational Science — ICCS 2003 : International Conference Melbourne, Australia and St. Petersburg, Russia June 2–4, 2003 Proceedings, Part II | |
| dc.contributor.author | Frutos Escrig, David De | |
| dc.contributor.author | Marroquín Alonso, Olga | |
| dc.contributor.editor | Sloot, Peter M. A. | |
| dc.contributor.editor | Abramson, David | |
| dc.contributor.editor | Bogdanov, Alexander V. | |
| dc.contributor.editor | Gorbachev, Yuriy E. | |
| dc.contributor.editor | Dongarra, Jack J. | |
| dc.contributor.editor | Zomaya, Albert Y. | |
| dc.date.accessioned | 2023-06-20T21:05:17Z | |
| dc.date.available | 2023-06-20T21:05:17Z | |
| dc.date.issued | 2003 | |
| dc.description.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. | en |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.faculty | Instituto de Matemática Interdisciplinar (IMI) | |
| dc.description.refereed | TRUE | |
| dc.description.sponsorship | Comisión Interministerial de Ciencia y Tecnología (España) | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/20692 | |
| dc.identifier.citation | Frutos Escrig, D. & Marroquín Alonso, O. «Replicated Ambient Petri Nets». Computational Science — ICCS 2003, editado por Peter M. A. Sloot et al., vol. 2658, Springer Berlin Heidelberg, 2003, pp. 774-83. DOI.org (Crossref), https://doi.org/10.1007/3-540-44862-4_84. | |
| dc.identifier.doi | 10.1007/3-540-44862-4_84 | |
| dc.identifier.isbn | 978-3-540-40195-7 | |
| dc.identifier.officialurl | https//doi.org/10.1007/3-540-44862-4_84 | |
| dc.identifier.relatedurl | http://link.springer.com/content/pdf/10.1007%2F3-540-44862-4_84 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/60656 | |
| dc.issue.number | 2658 | |
| dc.language.iso | eng | |
| dc.page.final | 783 | |
| dc.page.initial | 774 | |
| dc.publisher | Springer | |
| dc.relation.ispartofseries | Lecture notes in computer science | |
| dc.relation.projectID | Project Desarrollo Formal de Sistemas Basados en Agentes Móviles (TIC 2000-0701-C02-01) | |
| dc.rights.accessRights | open access | |
| dc.subject.cdu | 004 | |
| dc.subject.keyword | Models and methods for concurrent and distributed computing | |
| dc.subject.keyword | Bisimulation | |
| dc.subject.keyword | Transition nets | |
| dc.subject.keyword | Process algebras | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | Replicated ambient Petri nets | en |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | fc861853-ad02-4152-b8b0-e0a8df6080dc | |
| relation.isAuthorOfPublication | 7f817c41-e4d6-47c7-8745-e4773ca9ea2c | |
| relation.isAuthorOfPublication.latestForDiscovery | 7f817c41-e4d6-47c7-8745-e4773ca9ea2c |
Download
Original bundle
1 - 1 of 1
