/usr/share/doc/maria/examples/README.examples is in maria 1.3.5-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 | How to use these examples
=========================
To run the examples included in this directory you need write access
to the directory. The best way is to create a copy, say as a subdirectory
of the directory <someplace>:
cp -r /usr/share/maria/examples <someplace>
cd <someplace>/examples
gunzip *.gz
You can start maria on one of the Petri nets contained in this directory,
for instance dining.pn, by typing
maria -b dining.pn
Note that this may take a *lot* of time for some of the examples
provided since a reachability analysis is performed when loading the
model. Then, you may issue at the maria shell prompt the following
commands (among others):
dump to obtain a textual representation of the syntax graph
dumpgraph to obtain a textual representation of the reachability graph
If the "graphviz" package is installed on your system you may also
obtain a graphical output by issuing the following commands:
visual dump graphical representation of the syntax graph
visual dumpgraph graphical representation of the reachability graph
Please refer to the maria documentation (available in the package
maria-doc) for more complete documentation.
-- Ralf Treinen <treinen@debian.org> July 6, 2005.
|