We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising from four simple notions of behaviour, viz., traces, maximal traces, step, and maximal step traces, and from the corresponding four notions of bisimulation, viz., weak and weak step bisimulation and their maximal versions. We c...

هديكچ ط ي لاس اه ي خا ي ر پ ي تفرش لباق هظحلام ا ي رد طابترا اب لولس ه ا ي نب ي دا ي لصاح هدش تسا هک ون ي د شخب هار اهراک ي ون ي ن نامرد ي رد ب ي رام ي اه ي بعص جلاعلا م ي .دشاب ا ي ن لولس اه هک رد مامت ناگرا ي مس اه ي دنچ لولس ي روضح ،دنراد اناوت يي سقت ي م و دبت ي ل هب لولس اه يي سب ي را صاصتخا ي ار هتشاد و نچمه ي ن رداق هب اج ي زگ ي ن ...

BACKGROUND The aim of this study was to clarify the influence of sympathetic and parasympathetic nerve (SN and PN) dysfunction on the heart rate (HR) response to exercise and the exercise capacity of patients with acute myocardial infarction (AMI) and diabetes mellitus (DM). METHODS AND RESULTS Fifty-two male patients who underwent cardiopulmonary exercise testing (CPX) 1 month after onset of...

A difficult step in the derivation of the strong forms of the Cauchy theorem, Green's lemma, and related theorems from the corresponding weak forms is the construction, for a given rectifiable Jordan curve J, of a sequence of Jordan polygons lying interior to / , converging to J", and having uniformly bounded lengths. This note presents what the author believes to be a simpler elementary constr...

صخلملا A total of 48 fresh water fishes, belonging to four species of the family Cyprinidae (Capoeta trutta, Chalcalburnus mossulensis, Cyprinion macrostomum and Leuciscus lepidus) were collected from Darbandikhan lake, southwest Sulaimaniya city, Kurdistan region, in the north of Iraq, from March to the end of July 2008. The inspection of gills revealed the infection of these fishes with four ...

ش ي ر ي ن ي فسو ي نا 1 (M.Sc) ، س ي د ما ي د انعر يي س ي تدا 1 (Ph.D) ، ونهد ناسحا ي 1 و 2 (Ph.D) ، قتدمحم ي جرب ي نا ـنجورب ي 1 (M.Sc) زاـنرف ن ي دازك نانمج ي 1 و 3 (M.Sc) 1 هاگشناد هش ي د تشهب ي ، هدكشناد ي سدنهم ي ژرنا ي روانف و ي اه ي ون ي ،ن امزآ ي هاگش بونان ي ژولونكتو ي ، ب هورگ ي ژولونكتو ي 2 هاگشناد برت ي ت هدكشناد ،سردم ي ز مولع ي تس ي 3 هاگشناد ملا...

We present the results of a study of surface wave dispersion across the Arctic region (>60◦N) and compare the estimating group velocity maps with new maps of the body wave phases Pn and Sn. Data recorded at about 250 broadband digital stations from several global and regional networks were used to obtain Rayleigh and Love wave group velocity measurements following more than 1100 events with mag...

A set V of nondegenerate convex polygons P in R, or polyhedra P in R, will be called normal if the intersection of any two of the P's of V is a face (in the case of polyhedra), an edge, a vertex, or empty. V is called strongly normal (SN) if it is normal and, for all P, Pi,..., Pn, if each P; intersects P and / = Px f) ... f~l Pn is nonempty, then I intersects P. The union of the Pt€ V that int...

We consider weak convergence of a sequence of asset price models (Sn) to a limiting asset price model S. A typical case for this situation is the convergence of a sequence of binomial models to the Black-Scholes model, as studied by Cox, Ross, and Rubinstein. We put emphasis on two di erent aspects of this convergence: rstly we consider convergence with respect to the given "physical" probabili...