基于Petri网的工作流过程建模与分析方法的研究

来源 :东南大学学报:英文版 | 被引量 : 0次 | 上传用户:yxjisg
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
工作流管理是CSCW的一个重要方面.本文介绍了工作流过程的基本知识,给出了一种基于Petri网的建模方法和基本定义,讨论了工作流过程结构和行为正确性的分析和验证,最后提出了过程定义的验证算法.
其他文献
本文分析了计算机网络管理同人工智能领域的现状和困难,提出了基于计算机支持协同工作CSCW的原理,结合WWW及Java等新技术的新型网络智能管理模型AGIMA.AGIMA将传统网管以信息分布为中心的模式转变到以
【正】方正MP3-3180以998元的价格、玲珑的身段和32MB的标配,使其成为一款大众化的MP3随身听产品。方正MP3一3 1 80采用32M标准配置,独具录音、复读功能。突出特点是它拥有很
建立了考虑ASE谱和背景损耗影响的双向掺铒光纤放大器(BiEDFA)稳态放大速率方程模型,分析了增益与掺铒光纤长度、输入信号光功率、泵浦光功率及泵浦方式等结构参数之间的关系,研究了单向
利用模类CR=Mx∈M,xRT=0,T∈I ,给出了CR有限生成模、CR有限表示模、CR正则环的概念.研究了CR正则环的判定条件及CR正则环与CRFP内射模的关系.
对混凝土路面板施加预应力 ,可显著提高其承载能力 ,因而相同荷载下板厚可减小 .预应力改变了路面板的结构形式 ,可抵抗更大的冲击、振动和超载 .本文讨论了设计预应力混凝土
方正F7180是一款A4扫描幅面的商用CCD扫描仪,它的光学分辨率为1200dpi×2400dpi,色彩位数为48位彩色、14位灰度和1位黑白,是为广大商务用户量身定制。
期刊
城郊农业人口的增长是中国社会主义现代化进程中城郊发展的一个重要问题,城郊农业人口的增长是城市发展和城市化的必然现象,但又给城市建设和管理提出了挑战,在改革开放和现代化
关于企业市场营销战略的几个问题孟宪玲我国在经历了十多年的经济体制改革和社会主义市场经济运行后,市场营销战略已引起许多大中型企业的高度重视,成为企业经营活动中必不可少
【正】 当光驱正常工作时,马达带动光盘旋转的速度非常快。一般普通40倍速光驱或者是32倍速光驱光盘旋转的转速达到每分钟7000转,发出的噪音也达到50分贝。随着光驱的速度不