In: Microcomputer Applications, ISMM International Conference, Los Angeles, USA, December 14 - 16, 1989, pages 106-108. Anaheim; Calgary; Zuerich: ACTA Press, 1990.
Abstract: In this paper a method of Petri net analysis by partitioning is proposed. This method permits a saving of computation time and storage by using a finite size table to monitor the net execution and analysis, which is specially useful when using mini or micro computers. A direct readout of the reachability tree is made possible by making use of the built table. It is also proved mathematically that partitioning preserves the characteristics of the main Petri net.