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: 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
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