Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system

Alla, Hassane; Ladet, P.; Martínez, Juan Agustín Franco; Silva-Suarez, M.

doi:10.1007/3-540-15204-0_2

Cited by 55 publications

(13 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…If the next node is empty, the product A is delivered to the next station 'DR' via the edge whose attribute ae='A'. The discrete event simulation algorithm is based on colored Petri nets (Alla et al 1985) implemented for our previous work on manufacturing system optimization (Saitou and Malpathak 1999).…”

Section: Discrete Event Simulation For Cycle Time Estimationmentioning

confidence: 99%

Design of part family robust-to-production plan variations based on quantitative manufacturability evaluation

Lee

2002

Res Eng Design

View full text Add to dashboard Cite

This paper presents a systematic method for designing part families whose production costs are insensitive to changes in production plans due to market demand fluctuations. A unified feature-based representation of functional geometry and manufacturability has been developed to manipulate and evaluate part designs. Based on this information and production plans for multiple periods, an optimization-based method provides alternative part designs. The manufacturability of the part designs is quantitatively estimated by the facility cost of the manufacturing system best configured for a given part family and the average cycle time estimated by the discrete event simulation of production scenarios. Redesign suggestions are made on datum definitions of the original parts. Two case studies of a family of prismatic parts and that of turned parts are given to demonstrate the effectiveness of the proposed method.

show abstract

Section: Discrete Event Simulation For Cycle Time Estimationmentioning

confidence: 99%

Design of part family robust-to-production plan variations based on quantitative manufacturability evaluation

Lee

2002

Res Eng Design

View full text Add to dashboard Cite

show abstract

“…Li and Zhou and Li et al employed the process-oriented Petri net (POPN) [2,3], whereby the flow of system parts can be clearly demonstrated by the model structure. Alla et al and Viswanadham and Narahari proposed the coloured Petri net (CPN) [4,5], which enables operation places to accommodate parts of different types, while enabling resource places to contain the various resources. Other scholars have proposed the object-oriented Petri net (OOPN) [6], which features modularity and the coordination of various operating modules via messages and gate connections.…”

Section: Introductionmentioning

confidence: 99%

Simulation Study of Flexible Manufacturing Cell Based on Token-Oriented Petri Net Model

Nie¹,

Chen²,

Chen³

2016

Int. j. simul. model.

View full text Add to dashboard Cite

An initial manufacturing plan may not consider the particular implementation of flexible manufacturing cells (FMCs). Therefore, the FMC is subject to modelling and simulation to evaluate and correct the production plan using feedback. In the case of highly shared resource contention, deadlock and blocking present an inevitable, unavoidable problem, and corrections may be required for production plans. However, by using existing Petri net model theories and certain simulation software for model establishment, the structure and scale of the model may vary with changes in the parts, machines, and robots. This results in a cumbersome and complicated model building process. To address this practical problem, a token-oriented Petri net model theory is therefore proposed. The movable directions of a token are detected to determine if the firing conditions are satisfied. To avoid deadlock, the token first predicts the status of resource utilization prior to decision-making when entering the transporting-transition state. Accordingly, during the model run, events are triggered against the expected time, and transitions are thereby enabled and fired. An improved machine processing plan and robotic transporting plan may be obtained via path scenario deduction. In this study, classic case data were processed for simulation analysis of the manufacturing job, which verified the validity of the model algorithm.

show abstract

“…For performance evaluation, deadlock in automated manufacturing systems has been studied by using Petri net models [17]- [22]. These studies essentially prove the existence or absence of deadlocks and do not handle the issue of deadlock control.…”

Section: Introductionmentioning

confidence: 99%

Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model

1999

IEEE Trans. Syst., Man, Cybern. C

184

View full text Add to dashboard Cite

Concurrent competition for finite resources by multiple parts in flexible manufacturing systems (FMS's) results in deadlock. This is an important issue to be addressed in the operation of the system. A Petri net model, called colored resource-oriented Petri net (CROPN), is developed in this paper. The concurrent resource contention and the important characteristics of the production processes necessary for deadlock control are well modeled by this model. Based on the developed model, necessary and sufficient conditions and an efficient control law are presented for deadlock-free operation in FMS's. This control law is a policy of dynamic resource allocation. It determines when a resource can be allocated to which job to avoid deadlock. This control law allows as many active parts as possible to be in the system, while deadlock is totally avoided. This control law is easy to implement and can be embedded into the real-time scheduler. A simple example is used to illustrate the application of the approach.

show abstract

Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system

Cited by 55 publications

References 3 publications

Design of part family robust-to-production plan variations based on quantitative manufacturability evaluation

Design of part family robust-to-production plan variations based on quantitative manufacturability evaluation

Simulation Study of Flexible Manufacturing Cell Based on Token-Oriented Petri Net Model

Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model

Contact Info

Product

Resources

About