| Article ID: | iaor1991603 |
| Country: | United States |
| Volume: | 35 |
| Issue: | 7 |
| Start Page Number: | 844 |
| End Page Number: | 848 |
| Publication Date: | Jul 1990 |
| Journal: | IEEE Transactions On Automatic Control |
| Authors: | Ushio T. |
This note presents a necessary and sufficient condition for the unique existence of a maximally permissive feedback in a concurrent discrete-event system modeled by a Petri net. Also a modular synthesis problem of a maximally permissive feedback is discussed.