In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transitions into an atomic one. Their conditions combine local structural ones (e.g. related to the actions of a thread) and global algebraic ones (e.g. related to the threads synchronization). We show that these conditions are perfor...

Background & Aims: Despite advantages of exercise most employees in various countries do not exercise adequately. Transtheoretical model has been identified as a comprehensive model for behavior change and self efficacy is regarded as a fundamental structure of this model. Hence, in this study, the situation of exercise in comployees of Yazd according to the Transtheoretical Model and its relat...

the present study investigates the culture of development in hawrami proverbs. analysis of development-related variables is the basis of sociology. as collective phenomena, proverbs are part of the oral culture of a society and their investigation can sociologically explain cultural and social foundations of the society. this research attempts to specify 6 development-related parameters in hawr...