This paper proposes a forward formalized reasoning algorithm on the basis of basic Petri net. Using incidence matrix , a place-markings vector and a enable-transitions vector, a Petri net can be combined with matrix operation. And then, a large and complex system can be transform into a small system relating to the problems. In the algorithm, owing to the parallel operation ability of Petri net, searching range for late application is reduced, a...
