检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:王秀坤[1] 张静[1] 程文树[1] 扎那[1] 刘亚欣[1]
机构地区:[1]大连理工大学电子与信息工程学院,辽宁大连116024
出 处:《计算机应用》2006年第11期2742-2744,共3页journal of Computer Applications
摘 要:引入了一种基于Petri网和C_net的形式化工作流模型———同步网模型,克服了以往用普通petri网建模的不足之处,使模型变得直观、简单、并有利于模型分析和仿真实现。结合印刷企业的业务流程,讨论了该模型的具体应用,并对该模型的正确性进行了验证。Synchronization net model, a formal workflow model based on Petri-net and C_net, was introduced. It conquered the shortages of Petri net-based modeling, and became directly perceptible, and easy to be analyzed and simulated. A case study of print business process was provided to illustrate the application of this method, and to prove its correctness.
分 类 号:TP391.9[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.43