[1]幸研,易红,汤文成,等.质量控制过程的流程重构校验方法研究[J].东南大学学报(自然科学版),2002,32(6):895-898.[doi:10.3969/j.issn.1001-0505.2002.06.015]
 Xing Yan,Yi Hong,Tang Wencheng,et al.Verification and reconfiguration of workflow in quality control process[J].Journal of Southeast University (Natural Science Edition),2002,32(6):895-898.[doi:10.3969/j.issn.1001-0505.2002.06.015]
点击复制

质量控制过程的流程重构校验方法研究()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
32
期数:
2002年第6期
页码:
895-898
栏目:
自动化
出版日期:
2002-11-20

文章信息/Info

Title:
Verification and reconfiguration of workflow in quality control process
作者:
幸研 易红 汤文成 倪中华
东南大学机械工程系,南京 210096
Author(s):
Xing Yan Yi Hong Tang Wencheng Ni Zhonghua
Department of Mechanical Engineering, Southeast University, Nanjing 210096, China
关键词:
质量管理 广义随机Petri网 过程重构 工作流
Keywords:
quality control Petri net process reconfiguration workflow
分类号:
TP14
DOI:
10.3969/j.issn.1001-0505.2002.06.015
摘要:
通过广义随机Petri网结构等价性的分析和论证,提出质量保证过程的流程建立和重构方法.首先该方法依据ISO9000标准,在网络化制造企业间构造无差错的开放质量活动流程,然后根据网结构等价构造方法分解到企业内部扩展私有流程.两次建模的步骤克服了递阶和集中控制需建立和校验整个流程的缺点,保持分布自治的质量控制过程在网结构特性上能满足有界性、遍历性和标记平衡,适应了网络化制造环境中需要适应性修正的动态特征需求,为网络化制造过程中质量的重构优化找到有效手段.最后通过实例说明结论的可应用性.
Abstract:
An analytical method to reconfigure quality control process by equivalence definition of general stochastic Petri net is presented. Firstly, the simple opened ISO9000 quality control processes involved by different enterprises are designed and verified. Secondly, the reconfigurable complex workflow models are defined separately according to the equivalence definition method. The incompact control approaches avoid the disadvantage of reconfiguration in centralized process model with hierarchical structure. In these stages, the private quality control processes can be modified individually because local changes can be made maintaining the correct workflow’s properties of safety, liveness and the balance of tokens. At last an application example is described.

参考文献/References:

[1] 幸研,易红,汤文成.制造系统工作流设计的校验和性能分析方法[J].西安交通大学学报,2002,36(3):278-282.
  Xing Yan,Yi Hong,Tang Wencheng.Verification and performance analysis of manufacturing workflow[J]. Journal of Xi’an Jiaotong University,2002,36(3):278-282.(in Chinese)
[2] 林闯.随机Petri网和系统性能评价[M].北京:清华大学出版社,2000.28-34.
[3] van der Aalst W M P.How to handle dynamic change and capture management information:an approach based on generic workflow models[J].International Journal of Computer Systems(Science and Engineering),2001,16(5):295-318.
[4] Basten T,van der Aalst W M P.Inheritance of behavior[J].Journal of Logic and Algebraic Programming,2001,47(2):47-145.
[5] Xu H,Shatz S M.A framework for modeling agent-oriented software[A].In: Proceedings of the IEEE 21st International Conference on Distributed Computing Systems[C].Phoenix,Arizona,2001.57-64.
[6] De Meer H.Düsterhøft O -R.Controlled stochastic Petri nets[A].In: Proc 16th IEEE Symposium on Reliable Distributed Systems[C].Durham NC,USA,1997.93-122.

备注/Memo

备注/Memo:
基金项目: 江苏省自然科学基金资助项目(BK2001204,BK2002058).
作者简介: 幸研(1972—),男,博士,讲师,xingyan@seu.edu.cn.
更新日期/Last Update: 2002-11-20