EFFICIENT ANALYSIS OF CONCURRENT SYSTEMS BY PETRI NETS

In the theoretical analysis of Petri nets there are many results for s ubclasses of Petri nets restricted by structural or behavioral propert ies. Recently, new types of analytical methods that are not restricted to special classes of Petri nets have been proposed. These methods ai m to improve the average computational complexity and to perform effec tively 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. (C) 1998 Scripta Technic a, Electron Comm Jpn Pt 3, 81(9): 29-36, 1998.