IEEE - Institute of Electrical and Electronics Engineers, Inc. - Structural Liveness Analysis of Automated Manufacturing Systems Modeled by S4PRs

Author(s): Yanxiang Feng ; Keyi Xing ; MengChu Zhou ; Feng Tian ; Huixia Liu
Sponsor(s): IEEE Robotics and Automation Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2019
Volume: 16
Page(s): 1,952 - 1,959
ISSN (Electronic): 1558-3783
ISSN (Paper): 1545-5955
DOI: 10.1109/TASE.2019.2905277
Regular:

This paper presents a liveness analysis method for sequential automated manufacturing systems (AMSs), which can be modeled by a class of Petri nets named systems of sequential systems with shared... View More

Advertisement