基于Petri网的工作流系统构造技术与验证方法研究
基本信息
批准号：60473058
项目类别：面上项目
资助金额：5.00
负责人：张世琨
学科分类：
依托单位：北京大学
批准年份：2004
结题年份：2005
起止时间：2005-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：袁崇义,曲婉玲,赵文,陶志红,余鹏,邓海清,迟美娜,霍金健,黄雨
关键词：
模型验证工作流系统构造同步距离Petri网
结项摘要
1、建立一套比较完整的工作流元模型，其中包括过程、功能、数据和组织等元模型。.2、遵循"一致性"(元模型、模型及实现上的一致)原则，根据建立的工作流元模型，研究并提出基于P/T系统层次化的工作流模型"过程网"(Procedure net)，包括逻辑层、语义层及实现层，其中，使用同步距离来规约过程逻辑，引入Uninet对工作流模型的过程语义进行规约，采用"对偶网"来定义实现层，并给出"过程网"的一些
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
EBPR工艺运行效果的主要影响因素及研究现状
EBPR工艺运行效果的主要影响因素及研究现状
DOI：10.16796/j.cnki.1000-3770.2022.03.003
发表时间：2022
2
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
3
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
4
基于多色集合理论的医院异常工作流处理建模
基于多色集合理论的医院异常工作流处理建模
DOI：
发表时间：2020
5
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
张世琨的其他基金
相似国自然基金
1
基于Petri网的电子商务系统形式化分析与验证技术研究
批准号：60573018
批准年份：2005
负责人：杜玉越
学科分类：F0204
资助金额：5.00
项目类别：面上项目
2
基于Petri网的CIM信息系统设计方法
批准号：69873009
批准年份：1998
负责人：罗军舟
学科分类：F0209
资助金额：14.00
项目类别：面上项目
3
跨组织协同工作流挖掘的Petri网融合机理与保性控制技术研究
批准号：61170079
批准年份：2011
负责人：曾庆田
学科分类：F0204
资助金额：56.00
项目类别：面上项目
4
基于Petri网的高速网络协议的描述和验证
批准号：69372018
批准年份：1993
负责人：顾冠群
学科分类：F0104
资助金额：6.00
项目类别：面上项目