Title: <B> A Petri Net Based Approach to Enforcing Mandatory and
Discretionary Security in
       Workflow Management Systems </B> <BR>
Principal Investigator: Vijay Atluri <BR>
Sponsor: National Security Agency, 1996-1997

<P>
This project investigates how  multilevel security and
discretionary security can be incorporated into  workflow
management systems. This project also investigates how
 Petri Nets can be used to model and analyze workflows.
</P>