For the most recent entries see the Petri Nets Newsletter.

Sequential and distributed model checking of Petri nets.

Bell, Alexander; Haverkort, Boudewijn R.

In: International Journal on Software Tools for Technology Transfer (STTT), Vol. 7, No. 1, pages 43-60. 2005.

Abstract: In this paper we present sequential as well as distributed algorithms for model checking computational tree logic over finite-state systems specified as Petri nets. The algorithms rely on an explicit representation of the system's state space but do not require the transition relation to be explicitly available; it is recomputed whenever required. This approach allows us to model check very large systems, with hundreds of millions of states, in a fast and efficient way. For the case studies addressed, the distributed algorithms scale very well, as they show efficiencies in the range of 60% to 95%, depending on the test cases and case studies at hand.

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

Back to the Petri Nets Bibliography