Colored Petri net Model for Secure Document Management in Business Process Systems

In recent years, more and more challenges concerning the modeling of new and complex business process systems have emerged. E-learning business process is one of those systems which are based on documents. Modeling documents and their interactions with tasks in the same process, called document driven workflows, has not been widely represented. We focus on security issues by modeling time as an extension of such systems and discuss some constraints. There are different approaches for modeling those temporal aspects in workflow systems. Since Petri Nets are known for their capability and flexibility in modeling complex systems, we propose a Colored Petri Net and emphasize the use of Time Petri Nets to model workflow management systems based on documents with time constraints. We illustrate our model on a running example of e-learning process.