============================================================================
This directory contains nets and marking for reachability experiments
============================================================================

Contact address:

Keijo Heljanko

P.O.Box 5400
FIN-02015 HUT
Finland

Keijo.Heljanko@hut.fi

============================================================================
The files are:
============================================================================

reach99.tar.gz

- example nets and formulas used in my (upcoming) Licentiate's Thesis
reachability checking experiments. This is a gzipped tar file which contains
the low-level nets and markings in PEP-format. Thanks to Claus Schröter for
compiling this set of examples, and for creating the checked markings.


Credits for the examples:

- The DME series of examples by Ken McMillan.
- Other examples by James C. Corbett, with translation to PEP by
  Stephan Melzer and Stefan Römer.

============================================================================

Enjoy,


		Kepa

--
Keijo.Heljanko@hut.fi
Researcher
Laboratory for Theoretical Computer Science
Helsinki University of Technology
Finland