In: Electronics and Communications in Japan, part III: Fundamental Electronic Science, Vol. 81, No. 9, pages 29-36. 1998.
Abstract: In the theoretical analysis of Petri nets there are many results for subclasses of Petri nets restricted by structural or behavioral properties. Recently, new types of analytical methods that are not restricted to special classes of Petri nets have been proposed. These methods aim to improve the average computational complexity and to perform effectively for the state space explosion problem. In this paper, we focus on the latter types of methods and describe an efficient analysis for concurrent systems represented by Petri nets.
Keywords: Petri nets, concurrent systems, state space explosion, system verification.