A Petri Net Design, Simulation, and Verification Tool

by

Richard Scott Brink

A Thesis Submitted
in
Partial Fulfillment of the
Requirements for the Degree of
MASTER OF SCIENCE
in
Computer Engineering


Download


To run PetriTool:
  1. Download either PetriTool.zip or PetriTool.tar.Z
  2. If you download PetriTool.zip, then type: pkunzip PetriTool.zip, or use your favorite zip program. If you download PetriTool.tar.Z, then type: uncompress PetriTool.tar.Z ; tar -xvf PetriTool.tar
  3. A directory named PetriTool is created. Type: cd PetriTool
  4. Type: javac *.java
  5. Type: java -classpath :..:. PetriTool.PetriTool

Online Documents



Related Resources



Department of Computer Engineering
College of Engineering
Rochester Institute of Technology
Rochester, New York

September, 1996


Back to my homepage