基于Petri网的分布式实时调度模型研究
기우Petri망적분포식실시조도모형연구
On the Petri Net Model for Distributed Real-Time Scheduling
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2003年 30期 75-78 ,共4页

    曹双进%董荣胜%古天龙%蔡国永

    조쌍진%동영성%고천룡%채국영

    高级Petri网%委派执行%分布式实时系统%调度模型 高級Petri網%委派執行%分佈式實時繫統%調度模型
    고급Petri망%위파집행%분포식실시계통%조도모형
    Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析.该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述.根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障.同时该模型还可以很容易地转化为系统的快速原型.
    Petri망작위일충가시화적규격어언,월래월다지용우실시계통적평고화분석.해문제출료일충기우Petri망적분포식실시계통모형,병대해모형중적국부조도기화소식조도기진행료묘술.근거해모형가이개발상응적분포식실시조도모의기,저양취가이재계통적개발초기,이용모의기래험증재급정적국부조도책략화소식조도책략하,계통임무적시간약속시부능구득도유효적보장.동시해모형환가이흔용역지전화위계통적쾌속원형.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문