Toggle Main Menu Toggle Search

Open Access padlockePrints

Parallelisation of the Petri net unfolding algorithm

Lookup NU author(s): Dr Victor Khomenko, Professor Maciej KoutnyORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

In this paper, we first present theoretical results, helping to understand the unfolding algorithm presented in [6,7]. We then propose a modification of this algorithm, which can be efficiently parallelised and admits a more efficient implementation. Our experiments demonstrate that the degree of parallelism is usually quite high and resulting algorithms potentially can achieve significant speedup comparing with the sequential case.


Publication metadata

Author(s): Heljanko K, Khomenko V, Koutny M

Editor(s): Katoen, J.P., Stevens, P.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference (TACAS)

Year of Conference: 2002

Pages: 371-385

ISSN: 0302-9743 (print) 1611-3349 (online)

Publisher: Springer

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540434191


Share