A Petri net design, simulation, and verification tool

Show full item record

Redirect: RIT Scholars content from RIT Digital Media Library has moved from http://ritdml.rit.edu/handle/1850/13509 to RIT Scholar Works http://scholarworks.rit.edu/theses/5469, please update your feeds & links!
Title: A Petri net design, simulation, and verification tool
Author: Brink, Richard
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.
Record URI: http://hdl.handle.net/1850/13509
Date: 1996-09

Files in this item

Files Size Format View
RBrinkThesis09-1996.pdf 5.008Mb PDF View/Open

The following license files are associated with this item:

This item appears in the following Collection(s)

Show full item record

Search RIT DML

Advanced Search