By Topic

Synthesis of next state feedback control of discrete event systems by using Petri net unfoldings

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
$33 $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

2 Author(s)
T. Miyamoto ; Osaka Univ., Japan ; S. Kumagai

A method for synthesizing feedback control logic for live and safe marked graphs has been given by Holloway and Krogh. The method strongly depends on the structure of marked graphs, and thus it has not been extended to wider classes. This paper considers the same problem of synthesizing the maximal permissive feedback control for a special condition by using unfoldings. Structural characteristics of unfoldings are similar to that of marked graphs. Transforming a Petri net to an unfolding allows us to apply the Holloway's approach to general bounded Petri nets.

Published in:

SICE 2004 Annual Conference  (Volume:3 )

Date of Conference:

4-6 Aug. 2004