[an error occurred while processing this directive]
   
 
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 2008, Vol. 34 Issue (01) :79-83    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
����Petri����UML״̬Ǩ�Ʋ���
Ҧ����,��ï��*
�������պ����ѧ �����ѧԺ, ���� 100083
Strategy of state transition in UML based on Petri net
Yao Shuzhen, Jin Maozhong*
School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China

ժҪ
�����
�������
Download: PDF (0KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ ������ͳһ��ģ����(UML,Unified Modeling Language)״̬ͼ�������,������Petri�������������������еĽ�ģ�¼�������ͬ������ͻ����.Ϊ�õ�UML״̬ͼ�޶����Եġ���ִ�еĺͿ���֤��ģ��,����ɫPetri���Ͳ�λ�Petri���о��ɹ�������,�о���������ɫPetri��(HCPN,Hierarchical Colored Petri Net).HCPN�в�ͬ�����ɫ��CPNͨ�������������Ǩ���������.ͨ��ʵ��˵����ν�����Щ������HCPN�е�CPN�ϲ��õ���עPetri��.��עPetri��������ָ�������¼������ķ������,����עPetri��ת���õ��Ļ���Petri���������������Է���,�Ӷ�����������UML״̬ͼģ�͸������������,�����ڽ�ģϵͳ�ĸĽ�.
Service
�ѱ����Ƽ�������
�����ҵ����
�������ù�����
Email Alert
RSS
�����������
Ҧ����
���
�ؼ����� Petri��   ���������   ��λ�ϵͳ   �ϳ�     
Abstract�� The related semantics of UML(unified modeling language) state machine view was analyzed, and basic features of Petri net and its capabilities of modeling concurrency, synchronization and conflict were discussed. In order to get unambiguous, executable and verifiable models, based on the CPN(colored Petri net) and hierarchical Petri net, HCPN(hierarchical colored Petri net) for UML state machine view was constructed. In an HCPN, CPNs in different levels are related to each other by place-subnets or transition-subnets. Taking an HCPN as an example, the process was demonstrated to get its marked Petri net by merging CPNs from its all levels for analysis purpose. The marked Petri net can be used to guide the event-driven simulation, whereas the basic Petri net transformed from the marked Petri net can be used for the analysis, evaluation and improvement of models based on Petri net theory.
Keywords�� Petri net   object oriented programming   hierarchical system   merging     
Received 2007-01-23;
About author: Ҧ����(1965-),Ů,��������ľ˹��,����,szyao@buaa.edu.cn.
���ñ���:   
Ҧ����,��ï��.����Petri����UML״̬Ǩ�Ʋ���[J]  �������պ����ѧѧ��, 2008,V34(01): 79-83
Yao Shuzhen, Jin Maozhong.Strategy of state transition in UML based on Petri net[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 2008,V34(01): 79-83
���ӱ���:  
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y2008/V34/I01/79
Copyright 2010 by �������պ����ѧѧ��