For the most recent entries see the Petri Nets Newsletter.

Efficient analysis of concurrent systems by Petri nets.

Hiraishi, K.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography