基于时间Petri网的工作流系统模型的线性推理

PDF(269 KB)

电子学报 ›› 2002, Vol. 30 ›› Issue (2) : 245-248.

论文

作者信息 +

Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2002, 30(2): 245-248.

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2002, 30(2): 245-248.

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(269 KB)

Accesses

Citation

Detail

国家重点基础研究发展规划项目(No.G1999032707);国家自然科学基金(No.60173012)

段落导航