飞行程序发布订阅服务Petri网建模分析
비행정서발포정열복무Petri망건모분석
Flight Procedure Publish/Subscribe Service Modeling and Analysis Using Petri Net
  • 万方数据
    中国民航大学学报 중국민항대학학보
    JOURNAL OF CIVIL AVIATION UNIVERSITY OF CHINA
    2011年 5期 18-22 ,共5页

    王洁宁%姜高扬

    왕길저%강고양

    飞行程序%发布订阅服务%Petri网 飛行程序%髮佈訂閱服務%Petri網
    비행정서%발포정열복무%Petri망
    发布订阅服务是未来航行情报管理所面临的主要问题之一.利用UML建立了飞行程序发布订阅概念模型,刻画了系统需求和发布订阅的具体过程.建立了相应的Petri网模型,通过可达树分析和P不变量分析得出所建Petri网模型的有界性、守衡性和活性,从而证明了概念模型的正确性和有效性.
    발포정열복무시미래항행정보관리소면림적주요문제지일.이용UML건립료비행정서발포정열개념모형,각화료계통수구화발포정열적구체과정.건립료상응적Petri망모형,통과가체수분석화P불변량분석득출소건Petri망모형적유계성、수형성화활성,종이증명료개념모형적정학성화유효성.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문