Abstract Nyligen har vi introducerat Ambient Petri nät, som en multilevel förlängning av Elementary Object Systems, som kan användas för att modellera konceptet av häckade omgivningar från Ambient Calculus. Både mobil databehandling och mobil beräkning stöds av denna kalkyl, och sedan med hjälp av våra Ambient Petri nät får vi ett sätt att införa i världen av Petri nät dessa viktiga funktioner i nutid dator. Vårt grundläggande förslag ger dock ännu inte den lämpliga bakgrunden för modellering av replikering, en av de grundläggande aktörerna från den ursprungliga analysen, genom vilken oändliga processer införs och behandlas på ett mycket enkelt sätt. I detta dokument berikar vi vårt ramverk genom att införa denna operatör. Vi får en enkel och fin modell där de grundläggande näten fortfarande är statiska och ändliga, eftersom systemens dynamik kan täckas av den adekvata idén om märkning, där alla kopior som genereras av tillämpningen av replikationsoperatören kommer att leva tillsammans, utan att blanda sig i på ett otillräckligt sätt.
I REF har grundmodellen för Ambient Petri-nät utökats i syfte att stödja replikationsoperatören från Ambient Calculus,!
Replicated ambient Petri nets
{'venue': 'International Conference on Computational Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}