当前位置: X-MOL 学术arXiv.cs.FL › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Variable Petri Nets for Mobility
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2021-01-15 , DOI: arxiv-2101.11379
Zhijun Ding, Ru Yang, Puwen Cui, MengChu Zhou, Changjun Jiang

Mobile computing systems, service-based systems and some other systems with mobile interacting components have recently received much attention. However, because of their characteristics such as mobility and disconnection, it is difficult to model and analyze them by using a structure-fixed model. This work proposes a new Petri net model called Variable Petri Net (VPN) for modeling and analyzing these systems. The definition, firing rule, and related analysis technology of VPN are introduced in detail. In a VPN, the possible interaction interfaces are abstracted as a new kind of places called virtual places, and the occurrences of (dis)connections are described by new functions, which makes it appropriate to describe the component collaboration in systems and realize the scalability and pluggability of systems. Moreover, to overcome the shortcoming that markings cannot reflect link capability of a system, VPNs add a constraint function along with a marking to represent a complete system configuration. Several examples are used to demonstrate the newly proposed model and method.

中文翻译:

可变Petri网用于移动

移动计算系统,基于服务的系统以及具有移动交互组件的其他一些系统最近受到了很大的关注。但是,由于它们的特性(例如移动性和断开性),很难使用结构固定模型对它们进行建模和分析。这项工作提出了一个新的Petri网模型,称为Variable Petri Net(VPN),用于对这些系统进行建模和分析。详细介绍了VPN的定义,触发规则和相关分析技术。在VPN中,可能的交互接口被抽象为一种称为虚拟场所的新型场所,并且(断开)连接的发生由新功能描述,这使得它很适合描述系统中的组件协作并实现可扩展性和可扩展性。系统的可插拔性。此外,为了克服标记不能反映系统链接能力的缺点,VPN会在标记中添加约束功能以代表完整的系统配置。几个例子用来说明新提出的模型和方法。
更新日期:2021-01-28
down
wechat
bug