摘要
本文利用Petri网技术提出了移动对象的时空约束关系。文中首先利用V41理论给出了移动对象的空间约束,之后将该理论应用于时态中给出了移动对象的时态约束。在提出的移动对象Petri网(MOPN)和空间约束Petri网(SCPN)的基础上,给出了移动对象的时空约束关系。
This paper presents the spatio-temporal constraint relationships of moving objects by employing the Petri Net technology. The spatial constraints of moving objects are first presented in this paper based on the V41 theory , then the temporal constraints for moving objects are presented by applying this theory to the temporal aspect. With the Moving Object Petri Net (MOPN) and the Spatial Constraint Petri Net (SCPN) proposed in this paper, the spatio-temporal constraint relationships of moving objects are presented.
出处
《计算机工程与科学》
CSCD
2004年第10期86-90,共5页
Computer Engineering & Science
