A PETRI NETS SIMULATION SYSTEM

Cheng Ren
1986-01-01
Abstract:The system reported, SJMUL R, is used to simulate Petri nets so that the dynamic behavior can be easily observed by users. The graph of a net is drawn out on the sereen and then an initial token-distribution can be set up. With a veriaty of options, as the user desires, the net is simulated: step by step, a sequence of transitions are fired, and a sequence of new token distribution are reached. By means of such simulation process, the user can observe liven ss of the net or find dead lock that exists in the net.
What problem does this paper attempt to address?