https://minerva-access.unimelb.edu.au/bitstream/handle/11343/118668/Multi-critea decision_24.pdf

Multi-criteria decision making approaches for supplier evaluation and selection: A literature review

Introduction to stochastic programming

Operating room planning and scheduling: A literature review

Big data analytics in logistics and supply chain management: Certain investigations for research and applications

The problem of achieving a specified formation among a group of mobile autonomous agents by distributed control is studied. If convergence to a point is feasible, then more general formations are achievable too, so the focus is on convergence to a point (the agreement problem). Three formation strategies are studied and convergence is proved under certain conditions. Also, motivated by the question of whether collisions occur, formation evolution is studied.

/pdf/local-control-strategies-for-groups-of-mobile-autonomous-1rqc4ffavw.pdf

Local control strategies for groups of mobile autonomous agents

This paper exploits the potential of siphons for the analysis of Petri nets, It generalizes the well-known Commoner condition and is based on the notion of potential deadlocks which are siphons that eventually become empty. A linear programming based sufficient condition under which a siphon is not a potential deadlock is obtained. Based on the new sufficient condition, a mathematical programming approach and a mixed-integer programming approach are proposed for checking general Petri nets and structurally bounded Petri nets respectively without explicitly generating siphons. Stronger results are obtained for asymmetric choice nets and augmented marked graphs. In particular, we show that an asymmetric choice net is live iff it is potential-deadlock-free and an augmented marked graph is live and reversible iff it is potential-deadlock-free.

Deadlock analysis of Petri nets using siphons and mathematical programming

A stochastic model for operating room planning with elective and emergency demand for surgery

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.

Design of a live and maximally permissive Petri net controller using the theory of regions

This paper presents a deadlock prevention method for a class of flexible manufacturing systems where deadlocks are caused by unmarked siphons in their Petri net models. This method is an iterative approach consisting of two main stages. At each iteration, a fast deadlock detection technique developed by mixed integer programming is used to find an unmarked maximal siphon. An algorithm is formalized that can efficiently obtain an unmarked minimal siphon from the maximal siphon. The first stage, called siphons control, of the proposed method is to add, for each unmarked minimal siphons, a control place to the original net with its output arcs to the sink transitions of the minimal siphon. The objective is to prevent a minimal siphon from being unmarked. The second stage, called augmented siphons control, is to add a control place to the modified net with its output arcs to the source transitions of the resultant net if the resource places are removed. The second stage is required since adding control places...

Deadlock prevention policy based on Petri nets and siphons

In a recent paper [3], Gershwin proposed a decomposition method for the approximate analysis of transfer lines with unreliable machines and finite buffers. The method is based on a decomposition of the line into a set of two-machine lines. It leads to a set of equations which are solved using an iterative algorithm. Experimental results have shown that this technique is very accurate. However, it may happen that the algorithm fails to converge. In this paper, we propose to replace the original set of equations by an equivalent one, which is again solved using an iterative procedure. This new algorithm is simpler than the previous one, and its computational complexity is lower. Moreover, on all examples we tested, the algorithm always converged.

Xiaolan Xie

Papers

Deadlock analysis of Petri nets using siphons and mathematical programming

A stochastic model for operating room planning with elective and emergency demand for surgery

Design of a live and maximally permissive Petri net controller using the theory of regions

Deadlock prevention policy based on Petri nets and siphons

An Efficient Algorithm for Analysis of Transfer Lines With Unreliable Machines and Finite Buffers