您当前的位置：
首页 >
文章列表页 >
基于家态的多事务工作流完整性分析
论文 | 更新时间：2025-07-16
基于家态的多事务工作流完整性分析
Soundness Analysis of the Multi-cases Workflow Model Based on Home State
- 电子学报 2006年34卷第6期 页码：1163-1168
移动端阅览
HTML全文
参考文献
出版信息
数据统计
77
浏览量
898
下载量
4
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
基于RFID发现服务的一种供应链建模技术
基于优先级规则的网格工作流调度
面向集成电路制造的基于Petri网的生产调度
基于Petri网的数字媒体分发协议的安全性证明
一种基于RFID数据集的物品工作流挖掘方法
相关作者
FONT
FONT face
Verdana
李信鹏
赵 文
刘殿兴
袁崇义
张世琨
相关机构
北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室
北京大学软件工程国家工程研究中心
1.北京大学信息科学技术学院
东南大学计算机网络和信息集成教育部重点实验室江苏南京
东南大学计算机科学与工程学院江苏南京
