Toggle Main Menu Toggle Search

Open Access padlockePrints

Timed Mobility in Process Algebra and Petri Nets

Lookup NU author(s): Professor Gabriel Ciobanu, Professor Maciej Koutny

Downloads


Abstract

We present a process algebra called TiMo in which timeouts of interactions and adaptable migrations in a distributed environment with explicit locations can be specified. Timing constraints allow to control the communication between co-located mobile processes, and a migration action with variable destination supports flexible movement from one location to another. The model of time is based on local clocks rather than a global clock. We provide a structural translation of TiMo into behaviourally equivalent high level timed Petri nets. As a result, we obtain a formal net semantics for timed interaction and migration which is both structural and allows one to deal directly with concurrency and causality.


Publication metadata

Author(s): Koutny M; Ciobanu G

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 26

Print publication date: 01/11/2011

Source Publication Date: November 2011

Report Number: 1292

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne


Share