Petri Net Model and Mathematical Resolution for Cross Docking

Abstract In this paper, we consider a truck dock assignment problem. The constaints are: the number of trucks exceeds the number of docks available and we evaluate the time constaint in the cross docks with the use of resources. The goal is to minimize the penality cost, we are not able to unload all trucks for thre main reason: • the number of trucks exceeds the number of docks available • the time windows of trucks cannot permit the transhipment • there are no sufficient resources or capacity in the cross dock to process the cargo. We will combine an existing model in Miao et al. [2009] to abstract the truck docks assignment and a model from a Petri net study of the internal cross dock with resources. The main idea is to integrate more details, like resource and operational time based on the number of pallets. And this is possible using a Petri net approach with a mathematical tool. Then the final IP model is solved with ILOG CPLEX Solver.

[1]  J. Quadrat,et al.  A linear-system-theoretic view of discrete-event processes , 1983, The 22nd IEEE Conference on Decision and Control.

[2]  Ouajdi Korbaa,et al.  Formal approach of fms cyclic scheduling , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[3]  Ouajdi Korbaa,et al.  Heuristic for the resolution of the general FMS cyclic scheduling problem , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[4]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[5]  K. Onaga,et al.  Qualitative Analysis of Periodic Schedules for Deterministically Timed Petri Net Systems (Special Section on Discrete Mathematics and Its Applications) , 1993 .

[6]  Jean-Louis Boimond,et al.  On the linearizability of discrete timed event graphs with multipliers using (min,+) algebra , 2004 .

[7]  Laurent Hardouin,et al.  Timed event graphs with variable resources : Asymptotic behavior, representation in (min, +) algebra , 1999 .

[8]  Manuel Silva Suárez,et al.  On Weighted T-Systems , 1992, Application and Theory of Petri Nets.

[9]  Andrew Lim,et al.  Truck dock assignment problem with operational time constraint within crossdocks , 2006, Eur. J. Oper. Res..

[10]  Jean-Marie Proth,et al.  Performance evaluation of job-shop systems using timed event-graphs , 1989 .

[11]  S. Gaubert.  Resource optimization and (min, +) spectral theory , 1995, IEEE Trans. Autom. Control..

[12]  Walter Ukovich,et al.  A Mathematical Model for Periodic Scheduling Problems , 1989, SIAM J. Discret. Math..

[13]  Amir Pnueli,et al.  Marked Directed Graphs , 1971, J. Comput. Syst. Sci..

[14]  J. Quadrat,et al.  Algebraic tools for the performance evaluation of discrete event systems , 1989, Proc. IEEE.