In some phases of system development state-based methods are adequate; in others event-based methods are adequate. Petri nets provide a system model which supports both methods and thus allow a smooth transition between the diierent phases of system development. Most temporal logics for Petri nets, however, do not support both methods. In this paper we introduce a temporal logic for Petri nets ...

BACKGROUND This study aimed at determining the prevalence of malaria and anemia among children in rural community of Okada, Edo State Nigeria, as well as to assess the level of use of Insecticide treated bed nets and its impact on prevalence of malaria and anemia among study population. METHODS Thick blood films from 226 children with signs and symptoms of malaria in Okada community were stai...

Logic Petri nets (LPNs) can describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Logic Petri workflow nets (LPWNs) are proposed based on LPNs in this paper. Process mining is regarded as an important bridge between modeling and analysis of data mining and business process. Workflow nets (WF-nets) are the extension to Petri nets (PNs), and have ...

the effects of different concentrations of salicylic acid as compared with control and as well with distilled water treatment were assessed on induction of resistance to chilling injury and quality of sweet lemon during its storage. for the purpose, sweet lemon fruits were treated by immersion method for 5 minutes in salicylic acid (200,400 and 600 mg/lit) and then packed in polyethylene bags t...

The study aimed at determining the effect of acid modified porcine mucin powder on the release and permeation of insulin in transdermal patches. Various batches of insulin patches were prepared by solvent casting method using polysorbate 80 as emulsifying agent and acid treated and untreated mucin powders as base. The patches were evaluated for their physical properties, folding endurance, moi...