Volume 39 Issue 1
Jan.  2021
Turn off MathJax
Article Contents
GUO Feng. Research on Refinement of Process Net[J]. DIGITAL TECHNOLOGY & APPLICATION, 2021, 39(1): 94-97,228. doi: 10.19695/j.cnki.cn12-1369.2021.01.30
Citation: GUO Feng. Research on Refinement of Process Net[J]. DIGITAL TECHNOLOGY & APPLICATION, 2021, 39(1): 94-97,228. doi: 10.19695/j.cnki.cn12-1369.2021.01.30

Research on Refinement of Process Net

doi: 10.19695/j.cnki.cn12-1369.2021.01.30
  • Received Date: 2020-11-05
  • Rev Recd Date: 2021-01-17
  • Available Online: 2021-09-23
  • Publish Date: 2021-01-25
  • Process net is a kind of net structure defined by Petri net and process algebra, which is used to model concurrent asynchronous system. The refinement of process network is a modeling process of replacing simple high-level structure with complex structure to support top-down refinement step by step. Five refinement rules of process network are defined: subnet refinement, synchronous refinement, selection refinement, cycle refinement and communication refinement. A tool supporting process network modeling and refinement is implemented. The detailed operation of process network can reflect the hierarchical relationship of the model, which is helpful to the analysis of system model.

     

  • loading
  • [1]
    陈颖,魏培莲,潘军,等.数字化全玻片助力人工智能病理图像决策[J].第二军医大学学报,2018,39(8):840-845.
    [2]
    张泽中,高敬阳,吕纲,等.基于深度学习的胃癌病理图像分类方法[J].计算机科学,2018,45(11A):263-268.
    [3]
    ZHAO H,SHI J,QI X,et al.Pyramid scene parsing network[C]//Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition.Washington,DC:IEEE Computer Society,2017:6230-6239.
    [4]
    ZHU W,XIANG X,TRAN T D,et al.Adversarial deep structured nets for mass segmentation from mammograms[C]//Proceedings of the 2018 IEEE 15th International Symposium on Biomedical Imaging.Piscataway:IEEE[C]//Proceedings of the 2018 IEEE 15th International Symposium on Biomedical Imaging.Piscataway:IEEE,2018:847-850.
    [5]
    何雪英,韩忠义,魏本征.基于深度学习的乳腺癌病理图像自动分类[J].计算机工程与应用,2018,54(12):121-125.
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (124) PDF downloads(3) Cited by()
    Proportional views
    Related
    Copyright © Editorial Department of Digital Technology and Application Supported by: Beijing Renhe Information Technology Co. Ltd

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return