A Database-Based Engine to Execute Time-Enabled Event Driven Petri Nets

Document Type



Dr. Paul Jorgensen, jorgensp@gvsu.edu


Petri nets are a standard for modeling concurrency and process tracking. They are directed graphs that are made up of two elements; a node and an edge. Event-Driven Petri Nets are one of the variations of the Petri net model. These Event Driven Petri Nets (EDPNs) are useful in that they can track states and also actions. This project adds the notion of time to EDPNs. These can then be executed and analyzed with respect to time-based questins such as race conditions, and short-lived events. This expands the EDPN model to allow for determinate results in situations that normally would end in conflict.

This document is currently not available here.