JISE


  [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]


Journal of Information Science and Engineering, Vol. 22 No. 4, pp. 909-923


Knitting Technique with TP-PT Generations for Petri Net Synthesis


Daniel Yuh Chao 
Department of Management and Information Science 
National Chengchi University 
Taipei, 116 Taiwan 
E-mail: yaw@mis.nccu.edu.tw


    The behavior of a Petri net (PN) depends not only on the graphical structure, but also on the initial marking of the net. The knitting technique solves the structural problem. It contains some simple yet effective rules which can guide the synthesis of PN with desired properties. The previous knitting technique admits only TT generations among sequential or concurrent processes and PP generations among sequential or exclusive processes. The synthesized nets, however, are restricted because some generations are prohibited. Recently, we have improved the synthesis rules such that the previously forbidden generations are admissible if they are accompanied with additional generations. This paper deals with how to remove the restrictions of TP-path or PT-path generations.


Keywords: automated manufacturing system, Petri net, concurrent system, cycle, liveness, boundedness, deadlock, reversible, synthesis, structural relationship, rules

  Retrieve PDF document (JISE_200604_11.pdf)