摘要
基于工作流系统对时间管理功能有严格的需求,针对任务执行时间的不确定性,提出了基于库所时间Petri网的工作流系统建模方法—PT_net.该方法可以有效计算工作流系统的时间信息,从而为工作流系统的时间管理和分析提供技术支撑.
Based on the actual need of time management in workflow system, as the execution time of tasks are often non-deterministic, the modeling method of workflow which is called PT_net has been proposed based on Petri net that has time factors on places. For some workflow systems requiring high performance of time management, the method can calculate the time information effectively, so as it can provide technical support for time management and analysis of workflow system.
出处
《江西师范大学学报（自然科学版）》
CAS
北大核心
2012年第1期102-105,共4页
Journal of Jiangxi Normal University(Natural Science Edition)
基金
浙江省新世纪教育教学改革课题(yb090702)资助项目
