This contribution presents the formalism of Elementary Object Systems (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach known as the nets-within-nets paradigm. Since object nets in general are immediately Turing complete, we introduce the restricted class of elementary object nets which restrict the nesting of nets to the depth of two. One central aim of this contr...

Elementary Object Systems (EOS) is a class of Object Petri Nets that follows the “nets-within-nets” paradigm. It combines several practical as well as theoretical properties for the needs of multi-agent-systems. 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. In...

BACKGROUND Impregnated central venous catheters (CVCs) are recommended for adults to reduce bloodstream infection (BSI) but not for children. OBJECTIVE To determine the effectiveness of impregnated compared with standard CVCs for reducing BSI in children admitted for intensive care. DESIGN Multicentre randomised controlled trial, cost-effectiveness analysis from a NHS perspective and a gene...

Human antibody (Ab) response to Anopheles whole saliva, used as biomarker of Anopheles exposure, was investigated over a period of two years (2008-2009), in children between 2 to 9 years old, before and after the introduction of three different malaria vector control methods; deltamethrin treated long lasting impregnated nets (LLIN) and insecticide treated plastic sheeting (ITPS)--Zero Fly®) (I...

BACKGROUND Malaria is a major public health problem in Myanmar. Migrant populations are at high risk of contracting malaria and its control is more difficult than for settled population. Studies on malaria and migration are rare in Myanmar. This study was undertaken with the main objective of identifying socioeconomic and behavioural determinants of malaria among the migrant workers involved in...

A model of P systems with symport / antiport rules is given in terms of hypernets, a generalization of a class of hierarchical Petri nets introduced for modeling mobility inside the nets-within-nets paradigm. The hierarchical structure of a P system is reflected by the associated hypernet, where molecules are modeled by unstructured agents (simple tokens) and membranes by agents. Each agent is ...

Service-oriented computing provides a suitable technological foundation for developing and executing dynamic business processes. However, most current approaches for composition languages and architectures for dynamic process integration do not provide the flexibility and dynamism required by interorganisational evolving environments. In this work, the DENEB platform for the development and exe...

Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the nets-within-nets approach, allowing to model systems of interacting dynamic agents in a natural way. One of the main problems in verifying of such systems is the State Explosion Problem. To tackle this problem for highly concurrent systems the unfolding method has proved to be very helpful. In this paper we conti...

BACKGROUND Insecticide-impregnated bed nets (ITNs) have been shown to be a highly effective tool against malaria in the endemic regions of sub-Saharan Africa (SSA). There are however different opinions about the role of ITN social marketing and ITN free distribution in the roll-out of ITN programmes. The objective of this study was to evaluate the effects of free ITN distribution through antena...

INTRODUCTION Malaria is the leading cause of morbidity and mortality in Afar Region. Distribution of Long Lasting Insecticide Treated Bed Nets (LLINs) has been one of the major interventions to combat malaria. However, ownership and utilization of these nets are not well known. METHODS A community based cross-sectional study was conducted using interviewer-administered questionnaires to study...