Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches

来源 :自动化学报(英文版) | 被引量 : 0次 | 上传用户:wffg0907
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
A large amount of research has shown the vitality of siphon enumeration in the analysis and control of deadlocks in various resource-allocation systems modeled by Petri nets (PNs). In this paper, we propose an algorithm for the enumeration of minimal siphons in PN based on problem decomposition. The proposed algorithm is an improved version of the global partitioning minimal-siphon enumeration (GPMSE) proposed by Cordone et al. (2005) in IEEE Transactions on Systems, Man, and Cybernetics—Part A: Systems and Humans, which is widely used in the literature to compute minimal siphons. The experimental results show that the proposed algorithm consumes lower computational time and memory compared with GPMSE, which becomes more evident when the size of the handled net grows.
其他文献
The event-triggered fault accommodation problem for a class of nonlinear uncertain systems is considered in this paper. The control signal transmission from the controller to the system is determined by an event-triggering scheme with relative and constan
Sliding mode control (SMC) has been studied since the 1950s and widely used in practical applications due to its insensitivity to matched disturbances. The aim of this paper is to present a review of SMC describing the key developments and examining the n
In this paper, we review and analyze intrusion detection systems for Agriculture 4.0 cyber security. Specifically, we present cyber security threats and evaluation metrics used in the performance evaluation of an intrusion detection system for Agriculture
This paper investigates the stabilization of underactuated vehicles moving in a three-dimensional vector space. The vehicle\'s model is established on the matrix Lie group SE(3), which describes the configuration of rigid bodies globally and uniquely. W
Sampling-based planning algorithms play an important role in high degree-of-freedom motion planning (MP) problems, in which rapidly-exploring random tree (RRT) and the faster bidirectional RRT (named RRT-Connect) algorithms have achieved good results in m
This paper presents learning-enabled barrier-certified safe controllers for systems that operate in a shared environment for which multiple systems with uncertain dynamics and behaviors interact. That is, safety constraints are imposed by not only the ego
This paper shows that the aerodynamic effects can be compensated in a quadrotor system by means of a control allocation approach using neural networks. Thus, the system performance can be improved by replacing the classic allocation matrix, without using
Traditional cubature Kalman filter (CKF) is a preferable tool for the inertial navigation system (INS)/global positioning system (GPS) integration under Gaussian noises. The CKF, however, may provide a significantly biased estimate when the INS/GPS system
In this paper, a data-driven conflict-aware safe reinforcement learning (CAS-RL) algorithm is presented for control of autonomous systems. Existing safe RL results with pre-defined performance functions and safe sets can only provide safety and performanc
Satellite swarm coordinated flight (SSCF) technology has promising applications, but its complex nature poses significant challenges for control implementation. In response, this paper proposes an easily solvable adaptive control scheme to achieve high-pe