Corrections to generalized Petri net reduction method

A reduction method for Petri nets was previously proposed by the authors (ibid., vol.SMC-15, p.272-80, Mar. 1985). In the present paper they give a modification of the reduction method that better conserves the Petri net property. Specifically, an example is shown in which two of the reduction rules do not conserve the liveness property. It is these two reduction rules that have been modified. The modified reduction method is useful for both ordinary and generalized nets. >

[1]  N Otsu,et al.  An automatic threshold selection method based on discriminate and least squares criteria , 1979 .

[2]  Eiji Kawaguchi,et al.  On a Method of Binary-Picture Representation and Its Application to Data Compression , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[3]  J. M. White,et al.  Image Thresholding for Optical Character Recognition and Other Applications Requiring Character Image Extraction , 1983, IBM J. Res. Dev..

[4]  Azriel Rosenfeld,et al.  A Threshold Selection Technique , 1974, IEEE Transactions on Computers.

[5]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[6]  Eiji Kawaguchi,et al.  Depth-First Picture Expression Viewed from Digital Picture Processing , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[7]  Joël Favrel,et al.  Hierarchical reduction method for analysis and decomposition of Petri nets , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[8]  Joël Favrel,et al.  Generalized Petri Net Reduction Method , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[9]  Hanan Samet,et al.  The Quadtree and Related Hierarchical Data Structures , 1984, CSUR.