To analyze reachability and similar problems for P/T nets.

Download Sara

• Version 1.0
• Latest Build

Version history

Sara has been developed for quite some time now. See the ChangeLog for details or try out the older versions.

License

Sara is open source software, licensed under the AGPL3+.

Install Sara

Requirements

Installing and running Sara requires a bunch of other tools:

Compiling requires:

• GNU Libtool - The GNU Portable Library Tool - GNU libtool is a generic library support script. Libtool hides the complexity of using shared libraries behind a consistent, portable interface.
• GCC - The GCC compiler
• gcc

Testing requires:

• Autotools test suite - Part of the GNU Auto-Tools for automated Tests

Contributing requires:

• Bison - Gnu parser generator - Bison is a general-purpose parser generator that converts an annotated context-free grammar into a deterministic LR or generalized LR (GLR) parser employing LALR(1) parser tables.
• GNU Gengetopt - Gengetopt generates a C function that uses getopt_long function to parse the command line options, to validate them and fills a struct .
• flex: The Fast Lexical Analyzer - Flex is a tool for generating scanners. A scanner, sometimes called a tokenizer, is a program which recognizes lexical patterns in text. The flex program reads user-specified input files, or its standard input if no file names are given, for a description of a scanner to generate.

Quick install

Extract the tar ball into a folder of your choice, and follow the steps below.

1. Configure
   ./configure
2. Compile
   make
3. Test (optional, but recommended)
   make check
4. Install
   sudo make install

Manual

Sara's manual explains usage, features, and a brief scientifical background.

Documentation

Sara's documentation aims at the developer in you. If you are interested in implementation details this is the right place for you to look.

Maintainer

The current maintainer of Sara is Harro Wimmel.

Authors

Harro Wimmel

Contributors

Several people have committed time, code, and advice to the development of Sara.

• Harro Wimmel (100 commits)
• Niels Lohmann (18 commits)
• Richard Müller (2 commits)
• Jan Sürmeli (1 commit)
• Marvin Triebel (1 commit)