Distributed Database
Distributed Database example that allows you to draw the state-space using high-level functions Examples


Purpose of this Example

This example assumes that you have gone through the Dining Philosophers example and knows how to use the Graph object.

The Model

For a description of the model, please refer to the description in CPN Tools' help pages.

The model has not been altered, but a page with queries has been added. The queries allow to draw the state-space once calculated.

distributed_database_model.gif

Queries

distributed_db_queries.gif

The "Queries" page contains six queries.

use "c:/visualise.sml";

NiceLabes(); DrawNodes(EntireGraph, fn _ => true, NoLimit); DrawArcs(EntireGraph, fn _ => true, NoLimit); DrawEntireGraph (); graph.doLayout ();

Download

You should either place visualise.sml at c:\ or chance the path pointing to it on the Queries page in DistributedDatabase.cpn.

Next Step

If you haven't yet looked at drawing state-spaces, you should do this now. Else you might proceed to the examples on custom animations.

Version 12, Wed 12 Jul 2006 14:57:06 [tveon] - created Tue 20 Jul 2004 10:01:49 [mw]