国家自然科学基金(61003078)
- 作品数：3 被引量：6H指数：1
- 相关作者：段振华罗玲张曼更多>>
- 相关机构：西安电子科技大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划综合业务网理论及关键技术国家重点实验室基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 工作流网合成规则及其在流程设计中的应用被引量：1
- 2012年
- 针对工作流网建模过程中节点精化方法只能扩展单节点的局限性,提出一种基于Petri网合成规则的工作流网精化方法.在活的和有界的自由选择网合成规则上添加限制,使其适用于自由选择工作流网的精化,定义可分离工作流网及其保持可分离性的合成规则,证明在自由选择或可分离工作流网上应用合成规则所生成工作流网的合理性.使这两类工作流网的精化能够一次涉及多个节点,为其建模提供维度不同且粒度更细的参考原则.
- 张曼段振华
- 关键词：工作流PETRI网
- 扩展π演算对时间相关移动并发系统的建模与推演被引量：1
- 2014年
- 针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法。该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作算子将子进程进行复合,然后利用操作规则构造出系统的时间相关标记迁移系统和可接受的执行路径,最后基于上述迁移系统和执行路径完成对系统性质的推演。对移动车辆控制系统的分析表明,所提方法可对时间相关移动并发系统进行有效建模和推演,保证时间相关移动并发系统的可靠性。
- 罗玲段振华
- 关键词：Π演算形式化建模
