By Topic

Modeling User Specification Based on Supervisor Control and Petri Nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Yujin Song ; Dept. of Comput. Eng., Changwon Nat. Univ., Changwon, South Korea ; Jongwoog Kim ; Jongkun Lee

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (forbidden sequences of state-transitions problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use deadlock avoidance Petri nets method for solving this problem in control model.

Published in:

Computational Intelligence for Modelling Control & Automation, 2008 International Conference on

Date of Conference:

10-12 Dec. 2008