Science World Journal

The AJOL site is currently undergoing a major upgrade, and there will temporarily be some restrictions to the available functionality.
-- Users will not be able to register or log in during this period.
-- Full text (PDF) downloads of Open Access journal articles will be available as always.
-- Full text (PDF) downloads of subscription based journal articles will NOT be available
We apologise for any inconvenience caused. Please check back soon, as we will revert to usual policy as soon as possible.

Space upper bound analysis for transformation from elementary reference-net system to low-level P/T nets

Abdullahi Ismaila Jihad


Elementary Reference-nett Systems (ERS) is a class of Object-Oriented Petri Nets that follows the nets-within-nets paradigm. It combines theoretical properties as well as numerous practical needs for multi-agent-systems specification. However, it comes with some constraints that limit their expressiveness for automatic verification purposes due to the highly expressive nature of the underlying class of Petri nets. This article presents a set of transformation procedure from ERS to basic Petri nets in order to make verification feasible. It further establishes the space upper bound for the transformation which shows that the state space of the transformed P/T net grows exponentially as the number of object nets increases.

Keywords: Petri nets, object orientation, agent systems, interaction, mobility, transformation

AJOL African Journals Online