期刊文章详细信息
文献类型:期刊文章
机构地区:[1]西北大学软件工程研究所,西安710069
年 份:2004
卷 号:21
期 号:2
起止页码:24-26
语 种:中文
收录情况:BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD_E2011_2012、IC、ZGKJHX、核心刊
摘 要:为了满足实用性以及与WfMC的标准接轨 ,在信牌驱动模型的基础上 ,提出了功能更大、表现力更强、更方便灵活的扩展的信牌驱动模型。并进一步探讨了扩展的信牌驱动模型的控制结构与Petri网之间的对应关系。从而为保证过程定义的正确性 ,及其验证。
关 键 词:工作流模型 信牌驱动模型 PETRI网 非确定Petri网 计算机辅助管理
分 类 号:TP391.7]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...