Research on Refinement of Process Net
-
摘要: 进程网是结合Petri网和进程代数定义的一种网结构,用于并发异步系统的建模。进程网的细化是用复杂的结构替换 高层的简单结构支持自顶向下逐步求精的建模过程。定义了进程网的五种细化规则:子网细化、同步细化、选择细化、循环细化、 通信细化,实现了支持进程网建模和细化的工具。通过进程网的细化操作可以反映模型的层次关系,有助于系统模型的分析。Abstract: 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.
-
Key words:
- Process net /
- Refinement /
- Refinement rules /
- Hierarchy structure
-
[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. -
点击查看大图
计量
- 文章访问数: 124
- HTML全文浏览量: 16
- PDF下载量: 3
- 被引次数: 0
下载: