
To Make SMPL do:

%make smpl

To try out the timed Petri net simulator using the smpl library, do:

%make petri

and then try:

%petri < phil.dat

'phil.dat' is the information for the Dining Philosophers Petri net. For
a good explanation of this Petri net and others, reference the following
text:

  Peterson, James L. "Petri Net Theory and the Modeling of Systems",
  Prentice Hall, 1981.

 The source file 'petri.c' contains information on the format for the input
files (such as 'phil.dat') that define your net.

-Paul Fishwick