Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions between agents, and provide means for a modular and hierarchical description. They are capable of modelling mobile agents tfrahat can dynamically change their hierarchy, and can communicate with each other and with the out...

background: malaria is the most important vector-borne disease in many tropical countries all over the world. because of the widespread use of pyrethroid insecticide treated mosquito nets in the world, the effects of excito-repellency (er) phenomenon of pyrethroids against main malaria vector, anopheles stephensi were studied. methods: the er phenomenon of three concentrations of two synthetic ...

A survey was conducted to identify socioeconomic conditions and attitudes towards household prevention of American cutaneous leishmaniasis in Corte de Pedra, located in the county of Tancredo Neves, an endemic region in southern Bahia, Brazil. A questionnaire was applied in July 1997, focusing on social and economic variables, habits, and attitudes towards prevention of arthropod bites. All fam...

This study was aimed to investigate thecurrent insecticide resistance status in malaria vector mosquitoes from Dogbo district South-western Benin, West Africa. Larvae and pupae of Anopheles gambiae s.l. populations were collected the breeding sites March July 2020 during first rainy season Couffo department using dipping method. WHO susceptibility tests conducted on unfed female aged 2-5 days o...

In this article I will prove undecidability results for elementary object net systems (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach which is called the “nets-within-nets” paradigm. Eos are special object net system which have a two leveled structure.

With the exception of an airplane equipped with nets, no method has been developed that successfully samples red imported fire ant, Solenopsis invicta Buren, sexuals in mating/dispersal flights throughout their potential altitudinal trajectories. We developed and tested a method for sampling queens and males during mating flights at altitudinal intervals reaching as high as "140 m. Our trapping...