1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
=== About Workcraft ===
Workcraft is a cross-platform toolset for capture, simulation, synthesis
and verification of graph models. It supports a wide range of popular
graph formalisms and provides a plugin-based framework for modelling
and analysis of new model types.
=== Starting Workcraft ===
In Windows start workcraft.bat script, in Linux - workcraft shell script.
These scripts set up the required search path for external tools and Java
classpath for Workcraft plugins.
=== Help and Tutorials ===
To familiarise yourself with the Workcraft please read the help
(help/start.html) and practice using the tutorial material
(tutorial/start.html). Also look through a collection of tips and
tricks (help/tips.html) to make use of mouse and keyboard shortcuts.
For more information about Workcraft loot at http://workcraft.org/.
|