User Name Remember Me? Password

 Complex Analysis Complex Analysis Math Forum

 May 8th, 2014, 05:38 AM #1 Newbie   Joined: May 2014 From: UK Posts: 1 Thanks: 0 Proof needed Hi Guys I am wondering if someone could help me in resolving the following We use formula Occurs(a, t, D(t)) to denote that an atomic process occurs with respect to time t with a duration of D(t). Axiom1. Occurs(a, t, D(t)) implies D(t) ≥ 0 & for all t1(In(t1, t) implies there exists t2(Part(t2, t1) & Occurs(a, t2))) N.B. Axiom 1 applies to divisible intervals, non-divisible moments, and points. Definition: A business process p is defined as a pair (A , R(A)) where 1. A = {Occurs(p1, t1, D(t1)), …, Occurs(pn, tn, D(tn))} 2. R(A) = {Relation(ti, tj) | 1 ≤ i, j ≤ n} Specially, an atomic process can be taken as a special business process, since for any atomic process a, R({a}) = Null set For a R(A), we use DR(A) to denote the deduced temporal constraint which contains all the relations of R(A), plus all the other relations that can be deduced from R(A). -----A formal definition of this, and some examples?????????????????? Definition: Business process (A1, R(A1)) is called a sub-process of business process (A2, R(A2)) if and only if: 1. A1  A2 2. DR(A1)  DR(A2). Tags needed, proof Thread Tools Show Printable Version Email this Page Display Modes Linear Mode Switch to Hybrid Mode Switch to Threaded Mode Similar Threads Thread Thread Starter Forum Replies Last Post zhangchanghe214 Real Analysis 3 April 4th, 2012 01:29 AM jonbryan80 Real Analysis 14 March 27th, 2012 02:35 PM johny91 Algebra 0 January 31st, 2011 12:35 AM CutieCutiePi Algebra 2 October 28th, 2009 07:34 PM Christi123 Applied Math 2 June 26th, 2008 06:58 PM

 Contact - Home - Forums - Cryptocurrency Forum - Top      