In: Proc. of TENCON 87: 1987 IEEE Region 10 Conf. on Computers and Communications Technology Toward 2000, Vol. 2, pages 467-471. Washington: IEEE, 1987.
Abstract: The state explosion problem is considered for Petri nets. A reduction technique for managing the complexity of the net is studied. It is based on the notions of well-behaved transition module and well-behaved place module. Properties of inverse Petri nets are also studied.