Toggle Main Menu Toggle Search

ePrints

Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings

Lookup NU author(s): Agnes Madalinski, Dr Victor Khomenko

Downloads


Abstract

We show that the predictability problem for a Petri net can be reduced to LTL-X model checking. The advantage of this is that existing efficient methods and tools can be employed, in particular parallel model checking based on Petri net unfoldings. The experimental results show that this approach is efficient, and a good level of parallelisation can be achieved.


Publication metadata

Author(s): Madalinski A, Khomenko V

Publication type: Report

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 12

Source Publication Date: September 2011

Report Number: 1276

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1276.pdf


Share