Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources

A framework for building EDM collaborative manufacturing system using multi-agent technology to support organizations characterized by physically distributed, enterprise-wide, heterogeneous intelligent manufacturing system over Internet is proposed. According to the characteristics of agile EDM collaborative manufacturing system(AEDMCMS), the agent technology is combined with Petri net in order to analyze the model. Based on the basic Petri Net, the definition is extended and the Agent-oriented Petri net (APN) is proposed. AEDMCM is turned into the model of Petri Net which is suitable to the analysis and optimization of manufacturing processes.

Download Full-text

Petri-net based scheduling strategy for semiconductor manufacturing processes

Chemical Engineering Research and Design ◽

10.1016/j.cherd.2010.07.005 ◽

2011 ◽

Vol 89 (3) ◽

pp. 291-300 ◽

Cited By ~ 9

Author(s):

Yin-Hsuan Lee ◽

Chuei-Tin Chang ◽

David Shan-Hill Wong ◽

Shi-Shang Jang

Keyword(s):

Petri Net ◽

Semiconductor Manufacturing ◽

Manufacturing Processes ◽

Scheduling Strategy

Download Full-text

A synthesis method for Petri net modeling of automated manufacturing systems with shared resources

[1992] Proceedings of the 31st IEEE Conference on Decision and Control ◽

10.1109/cdc.1992.371530 ◽

2005 ◽

Cited By ~ 16

Author(s):

M.D. Jeng ◽

F. DiCesare

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Synthesis Method ◽

Automated Manufacturing ◽

Shared Resources ◽

Automated Manufacturing Systems

Download Full-text

The concurrent information flow model and deadlock analysis based on Petri net for multilevel management

2008 Chinese Control and Decision Conference ◽

10.1109/ccdc.2008.4597648 ◽

2008 ◽

Author(s):

Zhang Li ◽

Mu Xiao-dong ◽

Qi Wei

Keyword(s):

Information Flow ◽

Petri Net ◽

Flow Model ◽

Deadlock Analysis ◽

Information Flow Model ◽

Concurrent Information

Download Full-text

Marine Traffic Optimization Using Petri Net and Genetic Algorithm

PROMET - Traffic&Transportation ◽

10.7307/ptt.v24i6.1199 ◽

1970 ◽

Vol 24 (6) ◽

pp. 469-478 ◽

Cited By ~ 1

Author(s):

Anita Gudelj ◽

Danko Kezić ◽

Stjepan Vidačić

Keyword(s):

Genetic Algorithm ◽

Petri Net ◽

Traffic Control ◽

Formal Method ◽

Discrete Event ◽

Control Policy ◽

Shared Resources ◽

Marine Traffic ◽

Event Dynamic ◽

Scheduling Tool

The paper deals with the traffic control and job optimization in the marine canal system. The moving of vessels can be described as a set of discrete events and states. Some of these states can be undesirable such as conflicts and deadlocks. It is necessary to apply adequate control policy to avoid deadlocks and blocks the vessels’ moving only in the case of dangerous situation. This paper addresses the use of Petri net as modelling and scheduling tool in this context. To find better solutions the authors propose the integration of Petri net with a genetic algorithm. Also, a matrix based formal method is proposed for analyzing discrete event dynamic system (DEDS). The algorithm is developed to deal with multi-project, multi-constrained scheduling problem with shared resources. It is verified by a computer simulation using MATLAB environment.

Download Full-text

On Modeling and Simulation of Resource Allocation Policies in Cloud Computing Using Colored Petri Nets

Applied Sciences ◽

10.3390/app10165644 ◽

2020 ◽

Vol 10 (16) ◽

pp. 5644 ◽

Cited By ~ 1

Author(s):

Stavros Souravlas ◽

Stefanos Katsavounis ◽

Sofia Anastasiadou

Keyword(s):

Resource Allocation ◽

Petri Nets ◽

Petri Net ◽

Object Oriented ◽

Colored Petri Nets ◽

Allocation Scheme ◽

Shared Resources ◽

Basic Characteristics ◽

Resource Allocation Scheme ◽

Maximum Utilization

The Petri net (PN) formalism is a suitable tool for modeling parallel systems due to its basic characteristics, such as synchronization. The extension of PN, the Colored Petri Nets (CPN) allows the incorporation of more details of the real system into the model (for example, contention for shared resources). The CPNs have been widely used in a variety of fields to produce suitable models. One of their biggest strengths is that their overall philosophy is quite similar to the philosophy of the object-oriented paradigm. In this regard, the CPN models can be used to implement simulators in a rather straightforward way. In this paper, the CPN framework is employed to implement a new resource allocation simulator, which is used to verify the performance of our previous work, where we proposed a fair resource allocation scheme with flow control and maximum utilization of the system’s resources.

Download Full-text