第11讲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) ? ran(F) = S ? T dom(F) = {x|?y:(x,y)?F}