基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法.
推荐文章
工作流模式的π演算形式化
π演算
ECA规则
工作流模式
一种工作流网的自动生成算法
工作流网
Petri网
生成算法
自由选择性
安全性
工作流组织资源建模及其形式化配置方法
统一建模语言
多色集合理论
组织资源建模
形式化配置
一种Web服务组合形式化模型及验证方法
Pi演算
Web服务
服务组合
组合验证
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种形式化的工作流网模型
来源期刊 华东理工大学学报(自然科学版) 学科 工学
关键词 工作流 工作流管理系统 Petri网 形式化 建模
年,卷(期) 2007,(1) 所属期刊栏目
研究方向 页码范围 93-95,123
页数 4页 分类号 TP301
字数 2517字 语种 中文
DOI 10.3969/j.issn.1006-3080.2007.01.021
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 宋国新 华东理工大学计算机科学与工程系 62 256 9.0 12.0
2 郑红 华东理工大学计算机科学与工程系 25 70 6.0 7.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (2)
节点文献
引证文献  (2)
同被引文献  (0)
二级引证文献  (1)
2001(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2008(1)
  • 引证文献(1)
  • 二级引证文献(0)
2010(2)
  • 引证文献(1)
  • 二级引证文献(1)
研究主题发展历程
节点文献
工作流
工作流管理系统
Petri网
形式化
建模
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
华东理工大学学报(自然科学版)
双月刊
1006-3080
31-1691/TQ
16开
上海市梅陇路130号
4-382
1957
chi
出版文献量(篇)
3399
总下载数(次)
2
总被引数(次)
27146
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导