A Database-Based Engine to Execute Event Driven Petri Nets with n-Connected Threads

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 has created an application that allows a user to build EDPNs. These can then be executed and analyzed to detrmine the extent of n-connectedness among EDPNs. The use of this machineis illustrated on n-connected EDPNs, which illustrates the basic associations of graph theory