In: IEICE Trans. on Fundamentals in Electronics, Communications and Computer Science, Vol. E78-A, No. 11, pages 1447-1457. 1995.
Abstract: This paper discusses and abstraction method for Petri nets based on equivalence of firing sequences of a specified subnet or a specified subset of transitions. Specifically, a method is presented to generate an equivalent net which preserves firing sequences of a specified subnet or a specified sunset of transitions. The abstraction can be applied to an efficient behavioral analysis of concurrent systems constructed by composition of modules such as communication networks and flexible manufacturing systems (FMS).
Keywords: Petri nets, discrete event systems, equivalent nets, flexible manufacturing systems, net reductions.