• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2004, Vol. 26 ›› Issue (10): 86-90.

• 论文 • 上一篇    下一篇

基于Petri网的移动对象的时空约束

刘永山[1] 郝忠孝[2] 马永强[1] 张强[1]   

  • 出版日期:2004-10-01 发布日期:2010-05-29

  • Online:2004-10-01 Published:2010-05-29

摘要:

本文利用Petri网技术提出了移动对象的时空约束关系。文中首先利用V41理论给出了移动对象的空间约束,之后将该理论应用于时态中给出了移动对象的时态约束。在提出的移动对象Petri网(MOPN)和空间约束Petri网(SCPlN)的基础上,给出了移动对象的时空约束关系。

关键词: 移动对象 时空约束 Petri网 理论应用 技术 SCP 基础