—Multiple resource sharing has a complex nature in parallel manufacturing processes due to the competition of different operations for scarce resources. This paper presents the Petri net model for parallel manufacturing processes with shared resources called parallel process net with resources (PPNR). The structural characteristics of PPNR are discussed and siphon based characterizations of live and reversible PPNR are also presented. Simple structure based conditions and properties for conservative PPNR are presented for checking its liveness and reversibility. Finally, proposed method of net modeling is demonstrated by a practical example.
—Petri net, resource sharing, parallel processing flows, liveness.
Cite: Farooq Ahmad, Hejiao Huang and Xiao-long Wang, "Analysis of Parallel Manufacturing Processes with Resource Sharing," International Journal of Computer Theory and Engineering
vol. 2, no. 2, pp. 250-257, 2010.