Abstract
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
Publication Date
9-1-1996
Document Type
Thesis
Department, Program, or Center
Computer Engineering (KGCOE)
Advisor
Shank, Charles
Advisor/Committee Member
Chang, Tony
Recommended Citation
Brink, Richard, "A Petri net design, simulation, and verification tool" (1996). Thesis. Rochester Institute of Technology. Accessed from
https://repository.rit.edu/theses/5469
Campus
RIT – Main Campus
Comments
Note: imported from RIT’s Digital Media Library running on DSpace to RIT Scholar Works. Physical copy available through RIT's The Wallace Library at: QA267 .B746 1996