Design of a live and maximally permissive petri net controller using the theory of regions
The work
| Authors | A. Ghaffari; Nidhal Rezg; Xiaolan Xie |
|---|---|
| Editors | |
| Type | article |
| Year | 2003 |
| Citekey | ghaffari2003design |
Where it appeared
| Published in | IEEE Transactions on Robotics and Automation |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers |
| Volume | 19 |
| Issue | 1 |
| Pages | 137--142 |
Identifiers
| DOI | 10.1109/tra.2002.807555 |
|---|---|
| OpenAlex | W2104367108 |
Access
| Landing page | https://doi.org/10.1109/tra.2002.807555 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
This paper addresses the forbidden state problem of Petri nets (PN) with liveness requirement and uncontrollable transitions. The proposed approach computes a maximally permissive PN controller, whenever such a controller exists. The first step, based on a Ramadge-Wonham-like reasoning (1989), determines the legal and live maximal behavior the controlled PN should have. In the second step, the theory of regions is used to design control places to add to the original model to realize the desired behavior. Furthermore, necessary and sufficient conditions for the existence of control places realizing the maximum permissive control are given. A parameterized manufacturing application of significant state space is used to show the efficiency of the proposed approach.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-27 00:45 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{ghaffari2003design,
title = {Design of a live and maximally permissive petri net controller using the theory of regions},
author = {A. Ghaffari and Nidhal Rezg and Xiaolan Xie},
year = {2003},
journal = {IEEE Transactions on Robotics and Automation},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {19},
number = {1},
pages = {137--142},
doi = {10.1109/tra.2002.807555},
}
This record lives at https://refs.drheap.org/ghaffari2003design/ and will keep doing so.