[an error occurred while processing this directive]
   
 
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 1998, Vol. 24 Issue (4) :491-494    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
һ�ֻ����������Petri���IJ�������ģ����
�ΰ���, ţ����, ������*
�������պ����ѧ �������ѧ�빤��ϵ
Object-Oriented Petri Net Based Method for the Concurrent Program Modeling
Ren Aihua, Niu Jinzhong, Zhang Yongming*
Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering

ժҪ
�����
�������
Download: PDF (396KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ ������һ�ֻ����������Petri���IJ���ϵͳ��ģ����. �÷����������������Petri����������, ����һ���������Petri��,���Խ����Petri��������������ģ����������״̬��ը����,��ʹ�ý�ģϵͳ���п�������������ά��, ��һ�־�����ѧ��ͼ�η�ʽ���ϵ���ʽ������.
Service
�ѱ����Ƽ�������
�����ҵ����
�������ù�����
Email Alert
RSS
�����������
�ؼ����� �������   �������   ����ģ��   Petri��   ���������   ����ϵͳ��ģ     
Abstract�� An approach for concurrent system modeling based on the object-oriented high-level Petri net is described. The O-O Petri net is constructed by combining object-oriented techniques with Petri net theory. The modeling of the O-O Petri net not only can reduce the complexity of the model, but also make the modeled system with reusability and easy maintainability. This approach makes O-O system modeling with the description for both formalization and graphics.As an illustration,the producer and consumer concurrent pattern is modeled using object-oriented Petri nets.The modeling experience with these nets demonstrates that the decoupling and separation of knowledge and constraints clearly enhance maintenance and reusability in concurrent system modeling.
Keywords�� software engineering   software tools   model building   Petri nets   object-oriented techniques   concurrent system modeling     
Received 1998-05-12;
Fund:

���տ�ѧ����(96F51075)������Ŀ

About author: ٠40�� ������ 100083 ����
���ñ���:   
�ΰ���, ţ����, ������.һ�ֻ����������Petri���IJ�������ģ����[J]  �������պ����ѧѧ��, 1998,V24(4): 491-494
Ren Aihua, Niu Jinzhong, Zhang Yongming.Object-Oriented Petri Net Based Method for the Concurrent Program Modeling[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 1998,V24(4): 491-494
���ӱ���:  
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y1998/V24/I4/491
Copyright 2010 by �������պ����ѧѧ��