Liu Ming, Zhang Guo-Yin, Yao Ai-Hong, Men Chao-Guang. Research on Modeling and Analyzing Method of Real-time System Based on Hierarchical Real-time Coloured Petri Net[J]. Journal of Electronics & Information Technology, 2011, 33(3): 580-586. doi: 10.3724/SP.J.1146.2010.00533
Citation:
Liu Ming, Zhang Guo-Yin, Yao Ai-Hong, Men Chao-Guang. Research on Modeling and Analyzing Method of Real-time System Based on Hierarchical Real-time Coloured Petri Net[J]. Journal of Electronics & Information Technology, 2011, 33(3): 580-586. doi: 10.3724/SP.J.1146.2010.00533
Liu Ming, Zhang Guo-Yin, Yao Ai-Hong, Men Chao-Guang. Research on Modeling and Analyzing Method of Real-time System Based on Hierarchical Real-time Coloured Petri Net[J]. Journal of Electronics & Information Technology, 2011, 33(3): 580-586. doi: 10.3724/SP.J.1146.2010.00533
Citation:
Liu Ming, Zhang Guo-Yin, Yao Ai-Hong, Men Chao-Guang. Research on Modeling and Analyzing Method of Real-time System Based on Hierarchical Real-time Coloured Petri Net[J]. Journal of Electronics & Information Technology, 2011, 33(3): 580-586. doi: 10.3724/SP.J.1146.2010.00533
Petri nets is a modeling and analyzing mathematical tool based on graphic, which can be used efficiently in describing the asynchronous and concurrent behaviors of system. However, existing advance Petri nets are incapable of modeling and analyzing embedded real-time system completely. Hierarchical Real-Time Coloured Petri Net is introduced by extending the definition of coloured Petri net, and methodology of modeling and real-time analysis of embedded real-time system are proposed. As a confirmation of its validity, the methodology described in this paper has been successfully applied to modeling and real-time analysis of MVB (Multifunction Vehicle Bus) device, which can satisfy the requirements about functional verification and timing analysis of system design.
潘理, 赵卫东, 王志成, 周新民, 柳先辉. Petri网的步问题研究[J].软件学报.2009, 20(3):505-514[5]Moreno J C, Laloya E, and Navarro J. A link-layer slave device design of the MVB-TCN bus (IEC 61375 and IEEE 1473-T) [J].IEEE Transactions on Vehicular Technology.2007, 56(6):3457-3468[8]Lilius J. Efficient state space search for time Petri nets[J].Electronic Notes in Theoretical Computer Science.1998, 18(3):113-133[9]Frigerio L, Marks K, and Krikelis A. Timed coloured Petri nets for performance evaluation of DSP applications: The 3GPP LTE case study[J].Design Methodologies for SoC and SiP.2010, 313(5):114-132[13]Fronk A and Kehden B. State space analysis of Petri nets with relation-algebraic methods[J].Journal of Symbolic Computation.2009, 44(1):15-47