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
- PetriTool.zip: All files needed to run PetriTool, including all .java files, graphics files, and help files. Does NOT include the JDK.
- PetriTool.tar.Z: All files needed to run PetriTool, including all .java files, graphics files, and help files. Does NOT include the JDK.
- PetriThesis.zip: Microsoft Word v. 7.0 Thesis Document
To run PetriTool:
- Download either PetriTool.zip or PetriTool.tar.Z
- 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
- A directory named PetriTool is created. Type: cd PetriTool
- Type: javac *.java
- Type: java -classpath :..:. PetriTool.PetriTool
Online Documents
Related Resources
- World of Petri Nets: Information about all different types of Petri nets and links to tools available for designing, simulation, and analyzing Petri nets
- Javasoft Home Page: Download the latest JDK, get information on new releases and bugs, links to other Java resources
- Symantec Home Page: Information about Symantec Café and Visual Café development tools
Department of Computer Engineering
College of Engineering
Rochester Institute of Technology
Rochester, New York
September, 1996
Back to my homepage