Previous [ 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 (July 2006)

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

Full Text () Retrieve PDF document (200607_11.pdf)

Received May 17, 2004; revised December 25, 2004; accepted July 20, 2005.
Communicated by Ding-Zhu Du.