Close category search window
 

Maximally permissive feedback and modular control synthesis in Petri nets with external input places

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

1 Author(s)
Ushio, T. ; Sch. of Home Econ., Kobe Coll., Hyogo, Japan

A necessary and sufficient condition is presented for the unique existence of a maximally permissive feedback (MPF) in a concurrent discrete-event system modeled by a Petri net. The concept of the weak interaction of a predicate is introduced. In addition to reviewing fundamental definitions and notations, the author defines the control invariance of a predicate and an MPF. A modular synthesis problem of MPF is discussed

Published in:
Automatic Control, IEEE Transactions on  (Volume:35 ,  Issue: 7 )

Date of Publication: Jul 1990

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.