Modeling probabilistic logic using petri nets

In this paper we investigate the use of Petri nets to represent the possible worlds in probabilistic logic. We propose a new method to generate the possible worlds based on the reachability tree of the Petri net model. To deal with the size problem where the number of columns in the possible world matrix grows exponentially, it was suggested by Nilsson [1] to only generate those highly solution-relevant columns in the possible world matrix, but no concrete algorithm was given. In this paper we proceed to provide a generating algorithm based on Petri net model and further show that simple and intuitive computation can be obtained.