Master's Thesis

"TIG-based Petri Nets for Modeling Ada Tasking", by Kari Forester, Lori Clarke, and Matthew Dwyer in University of Massachusetts COINS Technical Report 91-69, June 1991.

Abstract

This paper presents a Petri net model for concurrent programs that is based on an internal representation for concurrent programs called task interaction graphs (TIGs). Comparisons are made between these TIG-based Petri nets and an existing Petri net model for Ada tasking.