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

Download

File Description SizeFormat Image
01_Bonet_Directed_unfolding_of_petri_2007.pdf1.02 MBAdobe PDF    Request a copy
02_Bonet_Directed_unfolding_of_petri_2007.pdf439.32 kBAdobe PDF    Request a copy
03_Bonet_Directed_unfolding_of_petri_2007.pdf193.34 kBAdobe PDF    Request a copy
04_Bonet_Directed_unfolding_of_petri_2007.pdf2.54 MBAdobe PDF    Request a copy
05_Bonet_Directed_unfolding_of_petri_2007.pdf439.32 kBAdobe PDF    Request a copy


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

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator