p.1798
p.1802
p.1806
p.1810
p.1819
p.1823
p.1827
p.1831
p.1836
A Merging Method for Siphon-Based FMS Maximally Permissive Control with Simple Structures
Abstract:
It has been a hot race to design optimal controllers to be maximally permissive with fewest monitors in the shortest amount of time. Recent maximally permissive deadlock prevention controls for S3PR (Systems of Simple Sequential Processes with Resources) reduce the computation burden by considering only a small portion of all forbidding markings and employs much fewer monitors by a linear integer programming method. However, it still requires costly reachability analysis. This paper proposes a method (the first of its kind) to merge several monitors into a single one while not losing states. It achieves the same best results in the literature while avoiding the time-consuming reachability analysis which does not scale well with the size of the nets.
Info:
Periodical:
Pages:
1819-1822
Citation:
Online since:
December 2012
Authors:
Price:
Сopyright:
© 2013 Trans Tech Publications Ltd. All Rights Reserved
Share:
Citation: