Skip navigation
Skip navigation

Directed unfolding of petri nets

Bonet, Blai; Haslum, Patrik; Hickmott, Sarah; Thiebaux, Sylvie

Description

The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding strategies typically equate to blind (breadth-first) search. They do not exploit the knowledge of the marking that is sought, merely entertaining the hope that the road to it will be short. This paper investigates directed unfolding, which exploits problem-specific information in the form of a heuristic function to guide...[Show more]

CollectionsANU Research Publications
Date published: 2007
Type: Conference paper
URI: http://hdl.handle.net/1885/35634
Source: Proceedings of the Workshop on UnFOlding and Partial Order Techniques (UFO-07)
DOI: 10.1007/978-3-540-89287-8-11



Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator