- Open Access
Embedded protocols based on the crowd Petri networks and opportunistic bandwidth allocation
EURASIP Journal on Embedded Systemsvolume 2017, Article number: 17 (2017)
In order to improve the bandwidth utilization of embedded system and the working efficiency of mobile system, we propose a crowd Petri network and bandwidth allocation scheme. These research results are suitable for mobile embedded system. On the one hand, we have established a mobile crowd network system based on crowd Petri net. The system can give full play to the advantages of the concurrent and distributed data, so as to provide the formal description of the data control behavior of the mobile system and the asynchronous concurrent protection of the mobile service. On the other hand, through the opportunistic bandwidth allocation, the system efficiency and the network resources of the crowd Petri network is the most appropriate configuration. In the process of optimizing the crowd data, an embedded control protocol is studied based on the combination of the user demand and the data element characteristics by the combination of the service quality and the resource consumption. Simulation results show the effectiveness and feasibility of the embedded protocol based on bandwidth allocation of crowd Petri network.
In the mobile network, how to balance the  and service satisfaction  performance for providing an inevitable trend  for embedded users and high efficiency reliable service  has become an inevitable trend. However, the dynamic topology, embedded redundancy, and embedded user dynamic demand of mobile embedded network  makes the limited network resources cannot satisfy the requirements of embedded users.
The Joint Optimization Methods was proposed in , which is able to solve the non-convex problems and provides a general solution to the resource allocation for relay enhanced multi-carrier systems. Aristomenopoulos G et al.  studied the efficient-distributed resource allocation and users to cells assignment over a heterogeneous integrated wireless environment. The particular game equation and its corresponding notion of equilibrium were studied by Perlaza S M et al. . The paper  proposed a model of the connectivity of a wireless sensor network deployed over a square area, which considers border effects. Du Z et al.  proposed an online network selection algorithm to learn the optimal network selection policy with network handoff cost consideration.
The first time the concept of transition covers in Petri net models was proposed for obtaining a live Petri net controller of small size . The authors of article  proposed a new methodology to design and analyze an urban traffic network control system by using the STPN (synchronized timed Petri nets), which also modularized the applications of the STPN to eight-phase, six-phase, and two-phase traffic-light control systems. A Petri net-based method was presented to address the temporal constraint satisfiability in a holistic manner and also in a modular way in article . The automatic Web service composition method was presented by the authors of article  that deals with both input/output compatibility and behavioral constraint compatibility of fuzzy semantic services. The admissible heuristic function was designed in article  which considered the available time of shared machine resources and subparts during calculating the lower bound of the remaining time for unprocessed operations. The authors of article  presented a method for hierarchical configurable Petri nets description in VHDL language.
Based on the above research results such as Joint Optimization , efficient distributed resource allocation , online network selection algorithm , and Transition cover-based design of Petri net controllers , combined with our previous research results , we proposed the embedded protocols based on the crowd Petri networks with the opportunistic bandwidth allocation.
The rest of the paper is organized as follows. Section 2 describes the Crowd Petri Networks System. Section 3 gives the embedded protocols based on opportunistic bandwidth allocation. The experimental results are shown in Section 4. Finally, Section 5 concludes this paper.
Crowd Petri Networks System
Based on the characteristics of mobile communication network system, transmission control, and embedded service, we have established a mobile crowd network system based on Petri network. This system has the characteristics of service concurrency and distributed data. These features can provide the formal description of the data control behavior and the asynchronous concurrent protection for the mobile system.
Crowd Petri net is a combination of the virtual advantages of the original Petri net and the mobile crowd service. Crowd Petri network can play the advantages of Petri network graphics simulation of complex systems based on the mobile crowd requirements. Crowd Petri net system model consists of three types of elements. The first type element represents the moving state of the embedded node. The second element indicates the random variation of crowd service. The third type of element represents the transmission control state of the mobile communication.
Three state elements of crowd Petri network is denoted as EM_ element, CR_ element, and MC_ element. The EM_ elements, CR_ elements, and MC_ elements would be analyzed and updated with the equal probability in crowd Petri network. EM_ element is driven by CR_ elements. CR_ element is described by MC_ element. CR_ elements are obtained by the integration of EM_ and MC_ elements.
Crowd Petri network is a crowd reconstruction of mobile communication embedded data elements. This reconstruction effectively simplifies the data type and data competition of Petri net. The formal definition of crowd Petri net is as follows:
Crowd Petri net has to satisfy the following conditions:
Mobile crowd data element collection cannot be empty.
The location set of EM is the mobile location information of the mobile node in the embedded state.
The state transition set of CR and the finite data element set of MC have to satisfy the relation shown as Eq. (1).
Crowd Petri net can reasonably release the mobile embedded system user data to other users of the system with the equal probability. The parameters of EM_ element, CR_ element, and MC_ elements are described in Tables 1 and 2.
The algorithm of crowd Petri net control is shown as follows:
Here, function of control is completed according to Fig. 1. Function of number is used to record the length of data sequence. Function of number is used to analyze the number of nodes.
Embedded protocols based on opportunistic bandwidth allocation
Introducing the opportunistic bandwidth allocation in the crowd Petri network system is helpful to the decision of the mobile users and the control of the resources. By opportunistic bandwidth allocation, the system efficiency and network resources of the crowd Petri network are the most appropriate configuration. In the process of optimizing the crowd data, a kind of embedded control protocol is studied based on the combination of the user requirements and the data element characteristics, by the combination of the service quality and the resource consumption.
Based on crowd Petri net and opportunistic scheduling, we take the bandwidth resources as the opportunistic metadata, which take opportunistic embedded user and mobile network services, respectively, as the demand side and the security side of the bandwidth. The crowd framework model is shown in Fig. 2.
The probability of setting the opportunity is PC. The bandwidth of the embedded user is BR. the appropriate bandwidth resources would be allocated to embedded users by opportunity allocation utility function OA (PC). The function must have the following properties:
OA (PC) is monotonic linear.
OA (PC) is monotonically increasing or decreasing.
There is a linear mapping between BR (PC) and OA.
Embedded users want to maximize the utilization of bandwidth resources. The optimal allocation of bandwidth resources in embedded protocols is demonstrated as Eq. (2).
Then, according to Eq. (3), the optimal crowd mobile network and the appropriate adjustment of the mobile embedded bandwidth resources are optimized. The proportion of users with the maximum appropriate bandwidth is ABEU, which is provided by the embedded users.
Simulation results show the effectiveness and feasibility of the proposed embedded protocol denoted as EP-CPOBA. Experiment compared the performance of the proposed EP-CPOBA with a single embedded algorithm denoted as EP-ALONE. The performance evaluation would demonstrate improvement of the average satisfaction of users and the system revenue with the proposed EP-CPOBA. Mobile network topology range is 1200 m × 1000 m. The bandwidth capacity is 1 Mbps. The concurrent user number value is from 1 to 5. Each embedded user moderate bandwidth resource demand RAB would be selected randomly in 10–50%. Simulation time is 2300 s.
Table 3 gives the comparison results of the above algorithms. The maximum number of concurrent users supported by the EP-CPOBA mechanism is five, which is significantly higher than that of EP-ALONE. About the embedded user appropriate resource satisfaction and channel utilization, EP-CPOBA is significantly higher than that of EP-ALONE. The appropriate resource satisfaction of embedded users of the EP-CPOBA in mobile system is higher than that of single embedded protocol.
Figures 3 and 4 give the change trend of the resource utilization of embedded users with the number of concurrent users. It can be seen that the resource utilization of embedded users will be affected by some external factors, there will be some ups and downs. The overall jitter of the EP-CPOBA is small. In comparison of Figs. 3 and 4, we can see that EP-ALONE is difficult to satisfy the requirements of high bandwidth resources. However, at the beginning of a short period of time, the embedded user resource utilization rate of the EP-CPOBA is higher than the EP-ALONE by only 0.1 percentage points. In constant opportunistic scheduling and embedded sensing, by searching the resource allocation and cycle optimization, the EP-CPOBA users can allocate resources to achieve a balance. The mobile network status is stable as shown in Figs. 5 and 6.
We proposed a crowd Petri net and bandwidth opportunistic allocation scheme, which are suitable for mobile embedded systems. The system can improve the bandwidth utilization rate of embedded system and the working efficiency of the mobile system. First of all, the crowd Petri net was designed. Then the mobile crowd network system is proposed. We studied the formal description of the behavior of the data control and the asynchronous concurrency of the mobile service, which make the system have the advantage of service concurrency and distributed data. Second, the opportunistic bandwidth resource allocation scheme was established. This scheme can further improve the system efficiency and network resource allocation of Petri net. Finally, an embedded control protocol is proposed based on the user requirements and data element characteristics. Simulation experiments compared the bandwidth of the embedded protocol and a single embedded protocol based on the bandwidth allocation of Petri net. The results show that the proposed embedded protocol always has the highest utilization of user resources, embedded user satisfaction, and system efficiency.
Y Song, Y Sun, W Shi, A two-tiered on-demand resource allocation mechanism for vm-based data centers. IEEE Trans. Serv. Comput. 6(1), 116–129 (2013)
Q Han, N Venkatasubramanian, Timeliness-accuracy balanced collection of dynamic context data. IEEE Trans. Parallel Distrib. Syst. 18(2), 158–171 (2007)
C Li, L Li, Joint optimization of resource allocation and user QoS satisfaction control for efficient grid resource management and scheduling. IEEE Syst. J. 3(1), 65–77 (2009)
JH Chow, RW De Mello, KW Cheung, Electricity market design: an integrated approach to reliability assurance. Proc. IEEE 93(11), 1956–1969 (2005)
B San Miguel, JM Del Alamo, JC Yelmo, A personal data framework for distributed user modelling in new service ecosystems. IEEE Lat. Am. Trans. 13(11), 3604–3611 (2015)
Y Fu, Q Zhu. Joint Optimization Methods for Nonconvex Resource Allocation Problems of Decode-and-Forward Relay-Based OFDM Networks[J]. IEEE Trans. Veh. Technol. 65(7),1-1 (2016)
G Aristomenopoulos, T Kastrinogiannis, S Papavassiliou, Multiaccess multicell distributed resource management framework in heterogeneous wireless networks. IEEE Trans. Veh. Technol. 61(6), 2636–2650 (2012)
SM Perlaza, H Tembine, S Lasaulce et al., Quality-of-service provisioning in decentralized networks: a satisfaction equilibrium approach. IEEE J. Sel. Top. Sign. Proces. 6(2), 104–116 (2012)
L Laranjeira, G Nunes Rodrigues, Border effect analysis for reliability assurance and continuous connectivity of wireless sensor networks in the presence of sensor failures. IEEE Trans. Wirel. Commun. 13(8), 4232–4246 (2014)
Z Du, Q Wu, P Yang, Dynamic user demand driven online network selection. IEEE Commun. Lett. 18(3), 419–422 (2014)
H Liu, K Xing, MC Zhou et al., Transition cover-based design of Petri net controllers for automated manufacturing systems. IEEE Trans. Syst. Man Cybern. Syst. Hum. 44(2), 196–208 (2014)
YS Huang, YS Weng, MC Zhou, Modular design of urban traffic-light control systems based on synchronized timed Petri nets. IEEE Trans. Intell. Transp. Syst. 15(15), 530–539 (2014)
Y Du, W Tan, MC Zhou, Timed compatibility analysis of web service composition: a modular approach based on Petri nets. IEEE Trans. Autom. Sci. Eng. 11(2), 594–606 (2014)
J Cheng, C Liu, MC Zhou et al., Automatic composition of semantic web services based on fuzzy predicate petri nets. IEEE Trans. Autom. Sci. Eng. 12(2), 680–689 (2015)
C Li, W Wu, Y Feng et al., Scheduling FMS problems with heuristic search function and transition-timed Petri nets. J. Intell. Manuf. 26(5), 1–12 (2015)
M Doligalski, M Adamski, Hierarchical configurable Petri net modeling in VHDL. International Journal of Electronics and Telecommunications 58(4), 397–402 (2016)
S Guo, Q Si, Mechanical hydraulic characteristic analysis scheme based on lightweight crowd data in mobile embedded devices. J Embed. Syst. 2017, 13 (2017). doi:10.1186/s13639-016-0049-3
The structuration and coding part was carried out by SG, and the testing and debugging part was done by both the authors. This manuscript had been prepared and checked by both of the authors together. Both authors read and approved the final manuscript.
The authors declare that they have no competing interests.