Well-Structured Transitions Systems (WSTS) constitute a generic class of infinite-state systems for which several properties like coverability remain decidable. The family of coverability languages that they generate is an appropriate criterium for measuring their expressiveness. Here we establish that Petri Data nets (PDNs) and Timed Petri nets (TdPNs), two powerful classes of WSTS are equival...

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

conclusions it appears that fenugreek seed might be effective against hyperglycemia, hyperlipidemia and insulin resistance in ovariectomized rats without impact on serum apelin. furthermore, 17-β estradiol could have similar effects along with possible inhibitory effects on serum apelin. the complicated role of apelin in menopause needs to be further explored. results serum apelin, glucose, lip...

Much has been written about security and provenance. Although both have their own large areas of concern, there is a very significant intersection. One is often brought to bear upon the other, in the study of the security of provenance. We discuss through a series of examples how provenance might be regarded as a security control in its own right. We argue that a risk-based approach to provenan...

The aim of this article is to investigate the workings of parental authority in Slovenian families: how is parental authority asserted and how do adolescents react to parental authority? Based on a qualitative exploration, the study shows that parental authority is accommodated in ways that comply with the general culture of intergenerational negotiations; it is co-constituted as a joint produc...

Theoretical cosmologists were quick to be convinced by the evidence presented in 1998 for the accelerating Universe. I explain how this remarkable discovery was the missing piece in the grand cosmological puzzle. When found, it fit perfectly. For cosmologists, this added extra weight to the strong evidence of the SN Ia measurements themselves, making the result all the more believable.