Yazar "Zhou, MC" seçeneğine göre listele

Listeleniyor 1 - 2 / 2
  • Küçük Resim Yok
    Öğe
    An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems
    (TAYLOR & FRANCIS LTD, 2006) Uzam, M; Zhou, MC
    Our previous work presented a Petri net-based iterative synthesis policy for deadlock prevention in flexible manufacturing systems (FMS). Given the Petri net model of an FMS prone to deadlock, it aims to synthesize a live controlled Petri net. Its use for FMS control guarantees its deadlock-free operation and high performance in terms of resource utilization and system throughput. At each iteration, a first-met bad marking is singled out from the reachability graph of the Petri net. A well-established invariant-based control method is used to prevent it from being reached. This process is carried out until the net model becomes live. The method proposed is generally applicable, easy to use, effective, and straightforward, although its off-line computation is of exponential complexity. This paper presents two improvements: (a) using the Petri net reduction approach to simplify very large Petri net models so as to alleviate computation effort; and (2) simplifying the invariant-based control method. A number of FMS deadlock problems from the literature are used to illustrate them.
  • Küçük Resim Yok
    Öğe
    Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems
    (IEEE, 2004) Uzam, M; Zhou, MC
    This paper presents an iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems (FMS). Given the Petri net (PN) of an FMS prone to deadlock, the goal is to obtain a live controlled PN such that its use for control can lead to high utilization of system resources. In the proposed method, at each iteration, a first-met bad marking is singled out from the reachability graph of PN. The objective is to prevent this marking from being reached by a place invariant. To satisfy this place invariant, a well-established invariant-based control method is used to derive a control place with its related arcs and initial marking. This process is carried out until the PN becomes live. The method is easy to use, effective and straightforward It is generally applicable-yet its off-line computation is of exponential complexity. An example FMS is used to show the proposed method.