.png){kind=icon}
返回
Variable Petri Nets for Mobility
.png){kind=icon}
OA
AI
DOI：10.1109/TSMC.2021.3103072.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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 the 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.
Keyword:
Virtual private networks
Computational modeling
Vehicle dynamics
Petri nets
Scalability
Bluetooth
Analytical models
Business process
discrete event systems
dynamic interaction
formal model
Petri nets (PNs)
vehicular cyber-physical system (VCPS)
期刊
IF:
10.5
论文数:
1.1W
被引数:
5.0W
机构
引用论文
Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets
PREAI
分享收藏A Petri Net Method for Compatibility Enforcement to Support Service Choreography.png)
IEEE ACCESS
OAAI
IEEE ACCESSIF3.6
OAAI分享收藏
查看更多内容