【摘 要】
：
The reachability problem of synchronizing transitions bounded Petri net systems (BPNSs) is investigated in this paper by constructing a mathematical model for dynamics of BPNS.Using the semi-tensor product (STP) of matrices,the dynamics of BPNSs,which can
【机 构】
：
College of Computer and Control Engineering, Nankai University, Tianjin 300350, China;Tianjin Key La
论文部分内容阅读
The reachability problem of synchronizing transitions bounded Petri net systems (BPNSs) is investigated in this paper by constructing a mathematical model for dynamics of BPNS.Using the semi-tensor product (STP) of matrices,the dynamics of BPNSs,which can be viewed as a combination of several small bounded subnets via synchronizing transitions,are described by an algebraic equation.When the algebraic form for its dynamics is established,we can present a necessary and sufficient condition for the reachability between any marking (or state) and initial marking.Also,we give a corresponding algorithm to calculate all of the transition paths between initial marking and any target marking.Finally,an example is shown to illustrate proposed results.The key advantage of our approach,in which the set of reachable markings of BPNSs can be expressed by the set of reachable markings of subnets such that the big reachability set of BPNSs do not need generate,is partly avoid the state explosion problem of Petri nets (PNs).
其他文献
Due to the difficulty of deploying Internet protocol (IP) multicast on the Internet on a large scale,overlay multicast has been considered as a promising alternative to develop the multicast communication in recent years.However,the existing overlay multi
Owing to the unreliability of wireless link and the resource constraints of embedded devices in terms of energy,processing power,and memory size in low power and lossy networks (LLNs),network congestion may occur in an emergency and lead to significant pa
Anomaly detection in smart grid is critical to enhance the reliability of power systems.Excessive manpower has to be involved in analyzing the measurement data collected from intelligent motoring devices while performance of anomaly detection is still not
Novel high power supply rejection ratio (PSRR) high-order temperature-compensated subthreshold metal-oxidesemiconductor (MOS) bandgap reference (BGR) is proposed in Semiconductor Manufacturing International Corporation (SMIC) 0.13 μm complementary MOS (CM
The popularity of IEEE 802.11 based wireless local area network (WLAN) increased significantly in recent years and resulted in the dense deployment of WLANs.While densification can contribute to increasing coverage,it could also lead to increasing interfe
Cloud download service,as a new application which downloads the requested content offiine and reserves it in cloud storage until users retrieve it,has recently become a trend attracting millions of users in China.In the face of the dilemma between the gro
Rough set theory is an important tool to solve uncertain problems.Attribute reduction,as one of the core issues of rough set theory,has been proven to be an effective method for knowledge acquisition.Most of heuristic attribute reduction algorithms usuall