您当前的位置:
首页 >
文章列表页 >
基于时间Petri网的工作流系统模型的线性推理
基于时间Petri网的工作流系统模型的线性推理
Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models
- 电子学报 2002年30卷第2期 页码:245-248
移动端阅览
HTML全文
参考文献
出版信息
数据统计
75
浏览量
1231
下载量
13
CSCD
文章被引用时,请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
一种新的RBAC角色协同关系及其Petri网模型
RIS辅助宽带太赫兹ISAC系统鲁棒保密传输方法
CloAct:基于克隆关系和模体的关键类识别方法
面向多类型二值分割任务的混合专家自适应统一框架
低轨卫星网络自适应随机接入研究
相关作者
王小明
赵宗涛
马建峰
相关机构
西北大学计算机科学系
陕西师范大学计算机科学学院
西安电子科技大学计算机网络与信息安全教育部重点实验室
西北大学计算机科学系陕西西安
陕西师范大学计算机科学学院陕西西安

