In Southeast Asia the biodiversity of Anopheles species in the domestic environment is very high. Only few species are considered major vectors throughout the region, whereas the vector status of other species varies from area to area. Often it is difficult to identify an Anopheles species as a malaria vector in areas with low malaria incidence. The behaviour of Anopheles species largely determ...

Malaria control along the Vietnam-Cambodia border presents a challenge for both countries' malaria elimination targets as the region is forested, inhabited by ethnic minority populations, and potentially characterized by early and outdoor malaria transmission. A mixed methods study assessed the vulnerability to malaria among the Jarai population living on both sides of the border in the provinc...

In this paper we examine ways to verify reference nets, a class of high level Petri nets supported by the Renew tool. We choose to restrict reference nets to hypernets, another nets-within-nets model more suitable for verification purposes thanks to an expansion toward 1-safe Petri nets. The contribution of the paper is the implementation of such analysis techniques by means of a Renew plugin. ...

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...

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...

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...