Increasing desire for thorough simulation and analysis of engineered products is quickly replacing the prototype and test design model. Petri nets are important instruments for modeling concurrent, distributed, asynchronous, parallel, deterministic, and non-deterministic systems. This tool provides designers with the ability to easily specify a Petri net design with an easy to use user interface, then simulate and analyze the Petri net to determine essential design properties using the reachability tree technique. The tool will construct a reachability tree, then analyze the tree for properties of safeness, boundedness, liveness, and conservativeness.
Library of Congress Subject Headings
Petri nets; Computer simulation; Computer-aided design
Department, Program, or Center
Computer Engineering (KGCOE)
Brink, Richard, "A Petri net design, simulation, and verification tool" (1996). Thesis. Rochester Institute of Technology. Accessed from
RIT – Main Campus