A colored petri net-based modeling method for supply chain inventory management

Abstract

Supply chain planning and control approaches need to include a wide range of factors in order to optimize production. Supply chain simulation modeling has been identified as a potential methodology toward increasing the efficiency of current systems to this end. The purpose of this paper is to evaluate the impact of inventory management decisions on supply chain performance using a Colored Petri Net based simulation modeling method. The presented method uses hierarchical timed Colored Petri Nets to model inventory management in a multi-stage serial supply chain, under normal operating conditions, and under the presence of disruptions, for both traditional and information sharing configurations. Disruptions are introduced as canceled orders and canceled deliveries, in a time period. Supply chain performance has been evaluated, in the context of order variance amplification and stockout amplification. Validation of the method is done by comparing results obtained for the bullwhip effect with published literature results, as well as by state space analysis results.

Hybrid modeling of collaborative freight transportation planning using agent-based simulation, auction-based mechanisms, and optimization

“…Future work could also extend the hybrid model to include the evaluation of logistics and supply chain performance using Colored Petri Net-based simulation approach. 48 In addition, determining the weights of various objectives could reflect qualitative criteria in conjunction with a further understanding of stakeholders. For instance, Sencer and Karaismailoglu 49 used analytical hierarchy process (AHP) to evaluate the criteria weights, both quantitative and qualitative, and rank alternatives resulting from the output of their simulation model.…”

Modeling and simulation for inventory management of repairable items in maintenance systems

“…Calle et al 25 conducted a simulation-based design of experiments to study the degree of influence that different sources of real-time information exert concerning the available products to select the most appropriate inventory control policy. Drakaki and Tzionas 40 proposed Colored Petri Net based simulation modeling method to evaluate the impact of inventory management decisions on supply chain performance in the context of order variance and stockout amplifications.…”

Parameterized Reachability Graph for Software Model Checking Based on PDNet

“…Petri nets are an important formal model, and they are powerful in describing the internal execution and external interactions of concurrent systems. In contrast to other formal models such as automaton and communication sequential process (CSP), Petri nets can represent true-concurrency rather than interleaving semantics, and they can provide a compact and comprehensive description of control, synchronization, and data operations [21,22,23,24,25,26,27,28,29]. However, since the exponential growth of the state space with the increase of the actual software system size, in many cases, the reachability graph analysis method is not feasibly caused by the calculation complexity.…”