Use of timed petri net and activity cycle diagram methodologies for modelling tandem AGVs in FMSs and their performance evaluation

Tiwari, Manoj Kumar; Chandrasekaran, M.; Mohanty, R.P.

doi:10.1080/09511920010021621

Cited by 11 publications

(5 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In other countries, TIWARI [5] and others took the factor of time into consideration of Petri net method, which constituted a timed Petri net in order to avoid collisions between the AGVs in 2001. Then in 2002, 2003, Maria, Wu [6] and others made a study of resource-oriented colored Petri net method to solve the problem of collision avoidance planning, and they proposed a reasonable method based on inhibition of change excitation, achieving a no-collision path to AGV.…”

Section: Collision Avoidance Planning Methods Of Agv Based On Petri Netmentioning

confidence: 99%

The Obstacle Avoidance Mode of Multi AGVs Based on Electricity Suppliers Logistics Environment

Li¹,

Tao²,

Xiang³

2016

View full text Add to dashboard Cite

Abstract:In multi AGV (Automatic Guided Vehicle) system, the core problem is how to plan a collision free path for each AGV, to solve the conflict between AGV and ensure the path of the path is not only the premise of path planning, but also the basis of the effectiveness of the task scheduling, so for the study of AGV system, multi AGV collision problem is also the research's hotspot and difficult problems. Based on the project background, this paper mainly studies the obstacle avoidance mode of multi AGV based on electricity suppliers logistics environment, including the storage mode of AGV, the working mode of AGV, in the static environment and in the dynamic environment AGV may encounter conflicts, these are analyzed respectively.

show abstract

Section: Collision Avoidance Planning Methods Of Agv Based On Petri Netmentioning

confidence: 99%

The Obstacle Avoidance Mode of Multi AGVs Based on Electricity Suppliers Logistics Environment

Li¹,

Tao²,

Xiang³

2016

View full text Add to dashboard Cite

show abstract

“…Compared with other common methods like Petri net, BPMN, UML, and IDEF3, ACD is superior in the problem with complicated interactions among different entities, since it provides vivid semantics under a uniform framework focusing on the essence of a system's dynamic aspect. ACD is a bipartite graph based on the observation that an entity behavior can be viewed as passing through alternating types of activity [18], It consists of two symbols: (i) enclosed geometrical shapes to represent diverse activities, and (ii) precedence relationships between activities by arrows leading from one activity to its successor. Moreover, the arrowed lines are marked with tokens to identify the entities to which the ACD symbols belong.…”

Section: B Activity Cycle Diagram Of the Iwi Modelmentioning

confidence: 99%

Integrated Modelling and Simulation Method for the Project-Type Manufacturing Process: Shipyard Dock Shop Hoisting Process

2021

View full text Add to dashboard Cite

The dock shop hoisting process is the bottleneck stage of the entire shipbuilding lifecycle, with a crucial influence on a shipyard's competitive goals of cost and delivery time. The complexity and particularity of the hoisting process, which tends to be a project-type manufacturing process, leads to more difficulties in exploiting potentialities for a productivity improvement via computer simulation technology. In order to overcome the deficiency of the previous modelling and simulation methods in terms of the applicability to project-type manufacturing cases, the characteristics of the hoisting process are carefully investigated, followed by a discussion of the specific requirements of constructing a simulation suitable for this kind of process. Then, we apply a task-centric idea to establish an information flow and work flow integrated model (named IWI) that can properly abstract the dynamic behavior of the hoisting process, in which the interrelations between the production elements are quite different from those in the general discrete manufacturing process. According to the mechanism revealed by the IWI model, a simulation algorithm is further designed as the foundation to realize a subsequently developed prototype system. The validity of the proposed modelling and simulation method is tested with a case study on a group of actual dock shop hoisting processes, with multiple indices indicating how well the production system performs output through the simulation experiment.

show abstract

“…1. Another study on modeling a simple FMS using both timed Petri nets and classical ACDs has also been reported in the literature [12]. Perhaps the most in-depth FMS modeling framework reported in the literature is the object-oriented graphical modeling tool called the JR-net [13].…”

Section: Related Workmentioning

confidence: 99%

Parameterized ACD Modeling of Flexible Manufacturing Systems

Choi

Kim

Kang

et al. 2014

IEEE Trans. Automat. Sci. Eng.

View full text Add to dashboard Cite

637We next derive the cdf of the failure time, i.e.,. From (7) and (9), we have (34) In (34), for the first expectation term, using Lemma 2 by setting , , , and then taking the expectation with respect to , we have (35) For the second expectation term, using Lemma 2 by setting , , , and taking the expectation with respect to , we have (36) This completes the proof. ACKNOWLEDGMENTThe authors sincerely thank the Editor, Associate Editor, and anonymous reviewers for their valuable suggestions and thorough review. Their constructive comments have considerably helped in the revision of this paper. REFERENCES[1] J. W. Sun, L. Li, and L. F. Xi, "Modified two-stage degradation model for dynamic maintenance threshold calculation considering uncertainty," A degradation path-dependent approach for remaining useful life estimation with an exact and closed-form solution," Eur. Abstract-Activity cycle diagram (ACD), which is essentially a timed Petri net, is one of the oldest formal modeling tools for discrete-event systems, and a flexible manufacturing system (FMS) is a highly automated job shop that is used widely in mechanical and electronics industries. Previous FMS modeling studies have indicated that formal modeling of real-life (or industrial) FMSs with classical ACDs (or Petri nets) is almostimpossible. This paper presents an incremental modeling procedure for building a formal simulation model of a real-life FMS with parameterized ACD (P-ACD) that was proposed recently. The incremental modeling procedure consists of job flow modeling, job routing modeling, dispatching rule modeling, and refixture operation modeling. In this paper, a P-ACD model of a real-life FMS was constructed and an FMS simulator was implemented from the proposed P-ACD model. A simulation experiment was conducted in order to demonstrate the usefulness of the FMS simulator. and maaabdullah@kau.edu.sa). This paper has supplementary downloadable material at http://ieeexplore.ieee.org, provided by the author. This includes videos for the dedicated FMS simulator and its animation. Clip 1 (demonstration.avi) shows the dedicated FMS simulator can be used to represent a class of a FMS and simulate an instance of the FMS described by the input data. Clip 2 (animation.avi) shows the animation of a FMS, which was constructed using Proof Animation of Wolverine Software and uses the trace file converted from the simulation log generated by the dedicated FMS simulator. This material is 41.4 MB in size.Note to Practitioners-FMSs are used widely in discrete part manufacturing. Recently, the authors developed P-ACD with which a formal model of a real-life industrial FMS can be built. There are three key deliverables in this paper: an FMS simulator executing the P-ACD model of the FMS, P-ACD models of a real-life FMS, and an incremental modeling procedure for building a P-ACD model of the FMS. Thus, as a practitioner, you may: 1) use the FMS simulator posted in the authors' URL as a dedicated simulator for your FMS, if the configuration of your FMS is similar to tha...

show abstract

Use of timed petri net and activity cycle diagram methodologies for modelling tandem AGVs in FMSs and their performance evaluation

Cited by 11 publications

References 11 publications

The Obstacle Avoidance Mode of Multi AGVs Based on Electricity Suppliers Logistics Environment

The Obstacle Avoidance Mode of Multi AGVs Based on Electricity Suppliers Logistics Environment

Integrated Modelling and Simulation Method for the Project-Type Manufacturing Process: Shipyard Dock Shop Hoisting Process

Parameterized ACD Modeling of Flexible Manufacturing Systems

Contact Info

Product

Resources

About