Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity

EasyChair Preprint 4257, version 1

Abstract

A variety of colored resource-oriented Petri nets (CROPN)-based control method to forbid deadlock in flexible manufacturing systems (FMS) are to add control places to the original net, which makes the net being complex. This paper proposes a novel concept in colored resource-oriented Petri nets (CROPN) called colored capacity. Firstly, the foraml definition of colored capacity in a CROPN is given. Based on this concept, the new execution rule of the transitions is proposed. Then, a procedure is developed such that the colored capacity function of each place in a CROPN can be obtained. By colored capacity function, all control places that are used to forbid illegal markings in CROPN are displaced by the colored capacity and the deadlock can be avoided by the new execution rule, which makes the structru of the net much simpler than the net with control places. Finally, an FMS example is used to illustrate the proposed method.

Keyphrases: Discrete Event Systems, Petri net, deadlock avoidance

@booklet{EasyChair:4257,
  author    = {Xiang Zhaoyu},
  title     = {Deadlock Avoidance of Flexible Manufacturing 	Systems by Colored Resource-Oriented Petri 	Nets With Novel Colored Capacity},
  howpublished = {EasyChair Preprint 4257},
  year      = {EasyChair, 2020}}