The concurrency is classified into two types: structured concurrency and nonstructured concurrency. After showing that the nonstructured concurrency cannot be represented by the conventional notations in the Petri net language, a method to represent such concurrency by the language is proposed. The proposed method allows us to utilize the existing approaches for analyzing properties of a nonstr...

Abstract The study was executed to investigate the different cooling periods (0, 24, and 48 hours) effects on plasma membrane integrity depending hypo osmotic swelling test (HOST), spermatozoa motility, acrosome integrity, live sperm, abnormalities, correlation among Host other rams sperm parameters This done at an animal farm in Al-Kut city (southern Baghdad city\ Iraq), from 5th January Febru...