论文部分内容阅读
随着信息技术和管理理论的发展，工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术，它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用Petrinet描述工作流的一种方法，并给出一个具体实例。
Application of Petri Net to workflow specification Petri Net在工作流
【摘 要】
：
随着信息技术和管理理论的发展，工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术，它广泛地
【机 构】
：
内蒙古大学计算机院,山西省交通运输管理局
【出 处】
：
长春师范学院学报
【发表日期】
：
2000年2期
其他文献
敦煌本《捉季布传文》的故事原型来自《史记》、《汉书》中的季布故事，其情节更加完善，人物更加丰满，不仅一改汉代史传文学简略质朴的叙事风格，而且整体变化尤为明显。文章通过探
以锻件为核心的热加工生产计划是组织热加工生产的行动纲领，通过倒排生产计划和联合作业等方式可以提高热加工生产管理水平。
园林花卉的种植，往往受到花卉色彩和所处自然生长环境的影响，因而在种植过程中，需要结合实际要求选择设计方式。本文在探讨园林花卉设计原则的基础上，探讨了规则设计与自然设计要
对民用核电设备制造阶段中的不符合项管理的部分重点进行了简单的阐述。
Part of the nonconformity management in the manufacturing stage of civil nuclear equipment i
城市公园是现代城市不可或缺的重要组成部分，与居民生活有着不可割裂的半耦合关系。本次调查主要走访了两个综合公园：海淀公园、马甸公园。对公园概况进行比较分析，总结出城市公
介绍滚切式定尺剪剪切力的测试原理及方法,并将测试结果与动力学仿真结果进行比较,以证明动力学仿真可以为滚切式定尺剪的优化设计提供数据。
主要介绍了武钢集团鄂钢公司500 mm热带钢生产线（以下简称鄂钢500 mm热带）工艺流程、产品规格以及中立轧机的使用及改造情况。
随着我国环境保护以及绿化事业的不断发展,人们也越来越重视造林工程的实施。植树造林是我国改善生态环境的重要措施,因此提高苗木培育成功率成为一个研究热点。目前我国苗木