基于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
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
3
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
4
中国参与全球价值链的环境效应分析
中国参与全球价值链的环境效应分析
DOI：10.12062/cpre.20181019
发表时间：2019
5
卫生系统韧性研究概况及其展望
卫生系统韧性研究概况及其展望
DOI：10.16506/j.1009-6639.2018.11.016
发表时间：2018
张世琨的其他基金
相似国自然基金
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
项目类别：面上项目