第10讲petri之基本网系统.pptVIP

工作流基本技术 Main Contents History of Petri net Carl Adam Petri (1962, PhD thesis) In sixties and seventies focus mainly on theory Since eighties also focus on tools and applications (cf. CPN work by Kurt Jensen) Why Petri Net? The chief attraction of the area of Petri Net is the way in which the basic aspects of distributed systems are identified both conceptually and mathematically G. ROZENBURG Leiden University, The Netherlands Main Contents Definition of Net A Net is a triple N=(S, T, F) S ? T ? ? and S ? T= ? F ? (S ? T) ?(T ? S) dom(F) ? cod(F) = S ? T dom(F) = {x|?y:(x,y)?F} cod(F) = {x|?y:(y,x)?F} Notations in Petri Net A Net Example Case and Step Case(情态） Distributed (global) state Set of conditions holding concurrently Constellation(条件丛) E.g. {s0,s1,s9} Step(步) Distributed (global) transition Set of events occurring concurrently E.g. {t1,t8} pre-Set post-Set pre-Set(前集) /pre-conditions post-Set (后集) /pre-conditions N=(B,E,F), x?XN, Y? XN ·x={y ?XN: (y,x) ?F} x·= {y ?XN: (x,y) ?F} ·Y=? ·x Y· =? x· x ?Y x ?Y Pure Net Simple Net Pure net(纯网/单纯网) 对于网N(S,T;F), ?x ?X; ? x ? x? = ?，其中X=S?T Simple net(简单网） 对于网N(S,T;F), 若?x,y ?X, ?x= ? y ? x? =y? 则x=y，其中X=S?T Key Questions When can a step occur(concurrently) at a case? What is the resulting case when a step occurs at a case ‘Structural’ transition relation relating potential cases to potential cases via potential steps Question 1 Q: When can an event e occur at a case C? A: e can occur at C ? all pre-conditions hold at C (?e? C) and no post-conditions hold at C (e?? C= ?) 记作， C[eN Enabled 可实施的/有发生权的/受权的 Question 1(c1) Note that if C[eN then ·e? e· = ? Hence we often consider only pure nets Question2 Q: What is the result of an event e occurring at a case C? A: When e occurs at C the pre-conditions of e cease to hold and the post-conditions of e begin to hold; the remaining part of the case remains unaffected.(Hence the resulting case C’ is(C? ?e)? e?) 记