| Citation: | Yao Shuzhen, Jin Maozhong. Strategy of state transition in UML based on Petri net[J]. Journal of Beijing University of Aeronautics and Astronautics, 2008, 34(01): 79-83. (in Chinese)
|
|
[1] OMG. Unified modeling language specification (action semantics) .2002. [2] Evans A, Kent S. Core meta-modelling semantics of UML: The pUML approach[J]. The Unified Modeling Language,1999, 1723:140-155[3] Mellor S J, Balcer M J. Executable UML:A foundation for model-driven architecture[M].Boston:Addison-Wesley,2002[4] Crane Michelle L, Dingel Juergen. On the semantics of UML state machines: categorization and comparison . Kingston, Ontario:School of Computing,Queen-s University,2005.[5] 钱俊彦,蔡国永,古天龙,等.Statechart规语言的语法分析研究[J].桂林电子工业学院学报,1999,19(3):12-15 Qian Junyan, Cai Guoyong, Gu Tianlong, et al. On the syntax verification of statechart language[J]. Journal of Guilin Institute of Electronic Technology,1999,19(3):12-15(in Chinese)[6] Murata T. Petri nets: Properties, analysis and applications[J]. Proceedings of the IEEE, 1989,77(4):541-580[7] Jesen K, Rozenberg G. High-level Petri nets theory and application[M]. Berlin: Springer-Verlag, 1991[8] Jesen K. Coloured Petri nets-basic concepts,analysis methods and practical use[M]. Berlin: Springer-Verlag, 1997[9] 姚淑珍,金茂忠. UML状态图的形式化建模及其分析[J].北京航空航天大学学报,2007,33(4):472-476 Yao Shuzhen, Jin Maozhong. Formal modeling and analysis of UML statecharts[J]. Journal of Beijing University of Aeronautics and Astronautics,2007,33(4):472-476(in Chinese)
|
| [1] | CHEN Y，WANG Z，ZHOU F C. Railway foreign objects tracking detection based on spatial location and feature generalization enhancement[J]. Journal of Beijing University of Aeronautics and Astronautics，2025，51（1）：9-18 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0974. |
| [2] | LI Bowen, LEI Xiaoyong. Flight task recognition and action segmentation based on SVM[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0635 |
| [3] | HAN Y，SUN B B，WANG J G，et al. Target person analysis based on critical node recognition algorithm[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（7）：2074-2082 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0588. |
| [4] | XU G Z，LIU G F，KUANG W，et al. Accurate license plate location based on synchronous vertex and body region detection[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（2）：376-387 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0396. |
| [5] | SHI Jiliang, ZHANG Qian, ZHOU Zunfu, YANG Sihong. Face Image Inpainting Combining Semantic Segmentation and Edge Texture[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0258 |
| [6] | JIA X X，ZHAO D Q，XIAO G R，et al. A GNSS/IMU/vision multi-source fusion localization method based on refined pre-integration[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（6）：2026-2032 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0567. |
| [7] | LI Yan, WAN Zheng, DENG Cheng-zhi, WANG Sheng-qian. Edge intelligent transmission optimization of emergency surveillance video based on intra-clustered dynamic federated deep reinforcement learning[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0378 |
| [8] | ZHANG J H，ZHAO W，WANG Z C，et al. UAV pedestrian tracking algorithm based on detection and re-identification[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（8）：2538-2546 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0675. |
| [9] | TONG R Q，HU X N，LIU Y R，et al. Mining traffic detection based on automated private protocol identification[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（7）：2304-2313 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0598. |
| [10] | ZHANG N，CHENG D Q，KOU Q Q，et al. Person re-identification based on random occlusion and multi-granularity feature fusion[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（12）：3511-3519 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0091. |
| [11] | HU Qiang-liang, CHEN Lin, SHANG Ming-sheng. Pedestrian attribute recognition algorithm based on multi-label adversarial domain adaptation[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0386 |
| [12] | HA Hui, GAO Xiang, YAO Xiu-juan, FU Jiang-yin, LI Wei, ZHANG Xiao-yan. Signal modulation waveform recognition method based on STF-Net[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0467 |
| [13] | JI Li-bin, ZHU Yan, CUI Tian-shu, WANG Dong, HUANG Yong-hui. LPI radar signal recognition based on time-frequency reassignment algorithm[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0218 |
| [14] | LI Shuai-chao, LI Ming-ze, SUN Jia-ao, LU Shu-hua. Combining LBP and parallel attention mechanism micro expression recognition[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0215 |
| [15] | SHI X S，LIN Z Y. Fixed-time distributed convex algorithm over second-order multi-agent systems under bounded disturbances[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（11）：2951-2959 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0060. |
| [16] | XU X Y，HU W H，ZHANG Y，et al. Pre-crash scenarios and AEB optimization between vehicle and two-wheeler[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（1）：1-9 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0184. |
| [17] | ZHANG H B，WANG X，XU Y H，et al. Relative entropy method in target recognition with fuzzy features[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（12）：3547-3558 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2020.0237. |
| [18] | ZHANG Wei, CHANG Ben-qiang, YANG Xu, XIONG Xiao. Fire source localization prediction for long and short term memory networks based on Bayesian optimization algorithm[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0482 |
| [19] | NI Wen-kai, PENG Shu-fan, DU Yan-hui. Identification of induced information for personalized recommendations based on knowledge graph[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0475 |
| [20] | JING Xin, WANG Huafeng, LIU Qianfeng, LUO Siwu, ZHANG Fan. Named entity recognition in nuclear power field based on ELMo-GCN[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(12): 2556-2565. doi: 10.13700/j.bh.1001-5965.2021.0155 |
Copyright © Journal of Beijing University of Aeronautics and Astronautics
Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn
Supported by:
Beijing Renhe Information Technology Co., Ltd.
Huan Ji, Ma Weimin. Method for Calculating the Dynamic Path Error of NC Machine Tools Based on MATLAB[J]. Journal of Beijing University of Aeronautics and Astronautics, 2003, 29(4): 299-302. (in Chinese)
DownLoad: