Modeling a resource management method using hierarchical colored Petri net

Resource management is one of the important tasks of the most systems. Deadlock avoidance is one of the different approaches that are used for resource management in centralized and distributed systems. New modeling of the Banker's algorithms using hierarchical colored Petri net is introduced in this paper. Hierarchical modeling of the resource allocation method eases the study and future extension of the model. This modeling of the algorithm permits us to study the state space of the system and automatically prove that current state of the system is deadlock or not. Also this model permits us to automatically prove that current state of the system is safe or not.