Supply chain modelling and managing,using timed coloured Petri nets: a case study

This paper aims at developing a new methodology for designing and managing a supply chain (SC) and, at the same time, for evaluating the performance of every stakeholder involved in a production chain. The methodology proposed has been applied to a footwear supply chain and is based on coloured Petri nets (CPNs). The supply chain analysed in this paper is a complex production system consisting of a network of manufacturers and service suppliers related to logistics systems that provide transportation and storage. The model developed uses coloured, timed Petri nets to represent a supply chain and it is such that resources are the Petri Net (PN) places, the tokens are jobs, orders and/or products, while the colours represent job attributes. These colours are used to encode different data types and values that are attached to tokens. A “coloured token” represents a specific production order or a certain amount of a particular material supplied. Thus, it can be processed in different ways and it can be easily localised within the CPN model. The use of coloured Petri nets allows companies to create a compact representation of states, actions and events of the modelled system. The particular structure of this network allows the designers the easy realisation of a simulator using an “object-oriented”, dedicated programming, which is a useful tool for developing what-if analyses.     

Coloured Petri net‐based modeling for distributed relational database queries

Abstract

In this paper, a new application of colour timed Petri net (CTPN) based methodology for distributed relational database queries modeling and corresponding simulation is addressed. This work, first based on parsed query definitions, converts logical query plans into designed CTPN models. Later, the improved cost‐based functions are then established and appended to CTPN with a general purpose CPN simulator‐Design/CPN to observe the thresholds of query operations. The propose CTPN can be used in the design phase as an experimental prototype to automatically simulate distributed database query processing which, in turn, may considerably reduce the load of developing the actual query processing software in the logical design phase of a distributed database system. Also, since all the essential details of query processing in CTPN have been simulated, the results of this study can be closely related to real world applications.     

A framework for designing supply chain disruptions management considering productive systems and carrier viewpoints

With the advent of the global and digital world, the number of geographically dispersed firms throughout the world has increased and the problem of Supply Chain (SC) disruption appeared as a main concern to many industries. In such context, designing disruptions management strategies for a robust SC has become a critical worldwide issue that is still under-explored. Since its design phase, this class of robust and global SC must integrate technologies and agents of production. However, the existing works only consider the Productive Systems (PSs) and the carrier viewpoint must also be considered since goods should be produced and distributed at the right quantity, at the right place and at the right time. In this complex task of designing disruptions management, a formal method must be used to integrate technologies ensuring the compliance of certain requirements, such as: developing collaborative and autonomous models, allowing reuse templates, considering analysis/simulation abilities and facilitating the interaction among engineering practitioners. Therefore, this paper presents a framework to model, analyse, control and monitor the robust and global SC, designing and integrating models with Petri Net, agent-based model techniques for disruptions management and considering both PSs and carrier viewpoints. A case study is investigated and the findings demonstrated the proposed solution supports decisions making for solving problems of design, analysis and control.     

Petri net based scheduling

Timed Petri nets can be used to model and analyse scheduling problems. To support the modelling of scheduling problems, we provide a method to map tasks, resources and constraints onto a timed Petri net. By mapping scheduling problems onto Petri nets, we are able to use standard Petri net theory. In this paper we will show that we can use Petri net based tools and techniques to find conflicting and redundant precedences, upper- and lower-bounds for the makespan, etc. This is illustrated by a Petri net based analysis of the notorious 10×10 problem due to Fisher & Thompson (1963)     

Review of supply chain configuration and design decision-making for new product

The nature of competitive markets continuously pushes manufacturers to develop new products to meet the increasingly diversified customer demands. Manufacturers thus have to handle the complexities generated during the total life cycles of various product types, from product design to procurement, production, marketing and recycling. Though some management practices in mass customisation help to improve the performance of manufacturing systems, there are still some fundamental problems not covered. Joint decision-making of product and supply chain design, for example, is one of them. The existing industrial practice tends to treat these two problems separately. Decoupling these two problems decrease the design complexity but may lead to suboptimal decision outcome. To enhance understanding of the interconnected decisions for supply chain management and product design, this review collects related literature on this topic and focuses on the analysis of existing papers from an operation research perspective.     

Comment on ‘Technical Note – Reaching more states for control of FMS’

Uzam and Zhou (Uzam, M. and Zhou, M., 2006. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research, 44 (10), 1987–2030) were able to obtain a near optimal controlled model for the net S³PR with 21,562 good states. Chao's deadlock recovery scheme (Chao, D.Y., 2010. Technical Note – Reaching more states for control of FMS. International Journal of Production Research, 48 (4), 1217–1220) improves by reaching more states (21,585). However, this paper identifies a problem and proposes a solution.     

Methodological approaches to supply chain design1

This paper reviews methodological approaches to the design (or redesign) of the supply chain (SC), including comprehensive approaches (proposals concerning the entire process of designing the SC) and those that deal with four specific aspects of the process (definition of the SC objectives, reverse SC, finance, and generation and use of scenarios) that have a decisive influence on the whole design of the SC. The comprehensive approaches include those based on typologies of products, markets and SCs and those that propose a succession of the stages to follow through the design process. The discussion shows that the use of typologies is not adequate to face SC design and that the methods proposing a succession of stages may suit, provided that they are developed and presented in a manner appropriate to their use for practitioners. The discussion leads also to suggest several research lines.     

Mode automata and their compilation into fault trees

In this article, we advocate the use of mode automata as a high level representation language for reliability studies. Mode automata are states/transitions based representations with the additional notion of flow. They can be seen as a generalization of both finite capacity Petri nets and block diagrams. They can be assembled into hierarchies by means of composition operations.The contribution of this article is twofold. First, we introduce mode automata and we discuss their relationship with other formalisms. Second, we propose an algorithm to compile mode automata into Boolean equations (fault trees). Such a compilation is of interest for two reasons. First, assessment tools for Boolean models are much more efficient than those for states/transitions models. Second, the automated generation of fault trees from higher level representations makes easier their maintenance through the life cycle of systems under study.