小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
1期
96-99
,共4页
位置服务%时间约束Petri网%动态服务组合%可达性验证
位置服務%時間約束Petri網%動態服務組閤%可達性驗證
위치복무%시간약속Petri망%동태복무조합%가체성험증
针对位置服务的动态服务组合过程中对位置的动态性和实时性考虑少的问题,本文运用时间约束Petri网对位置服务进行动态服务组合建模,设计了位置服务动态服务组合模型的执行时间、计算方法和库所可调度性分析算法.并对该模型的可达性进行了验证,同时引入实例说明了运用时间约束Petri网对位置服务动态服务组合建模方法的可靠性和可行性.
針對位置服務的動態服務組閤過程中對位置的動態性和實時性攷慮少的問題,本文運用時間約束Petri網對位置服務進行動態服務組閤建模,設計瞭位置服務動態服務組閤模型的執行時間、計算方法和庫所可調度性分析算法.併對該模型的可達性進行瞭驗證,同時引入實例說明瞭運用時間約束Petri網對位置服務動態服務組閤建模方法的可靠性和可行性.
침대위치복무적동태복무조합과정중대위치적동태성화실시성고필소적문제,본문운용시간약속Petri망대위치복무진행동태복무조합건모,설계료위치복무동태복무조합모형적집행시간、계산방법화고소가조도성분석산법.병대해모형적가체성진행료험증,동시인입실례설명료운용시간약속Petri망대위치복무동태복무조합건모방법적가고성화가행성.
