Petri net (PN) theory model was adopted for complexity in welding flexible manufacturing system (WFMS). A scheduling arithmetic was devised to optimize the process of controlling system. With this scheduling way, mode...Petri net (PN) theory model was adopted for complexity in welding flexible manufacturing system (WFMS). A scheduling arithmetic was devised to optimize the process of controlling system. With this scheduling way, model simulation experiment was designed to validate the model. And a sort of controlling software was designed on local net. Besides, a special welding experiment had been designed to check the controlling way. Results show the controlling process rightly and feasibly.展开更多
The specification of authorization policies in access control models proposed so far cannot satisfy the requirements in workflow management systems(WFMSs).Furthermore,existing approaches have not provided effective co...The specification of authorization policies in access control models proposed so far cannot satisfy the requirements in workflow management systems(WFMSs).Furthermore,existing approaches have not provided effective conflict detection and resolution methods to maintain the consistency of authorization polices in WFMSs.To address these concerns,we propose the definition of authorization policies in which context constraints are considered and the complicated requirements in WFMSs can be satisfied.Based on the definition,we put forward static and dynamic conflict detection methods for authorization policies.By defining two new concepts,the precedence establishment rule and the conflict resolution policy,we provide a flexible approach to resolving conflicts.展开更多
基金The National Natural Science Foundation of Chia(No5057144)
文摘Petri net (PN) theory model was adopted for complexity in welding flexible manufacturing system (WFMS). A scheduling arithmetic was devised to optimize the process of controlling system. With this scheduling way, model simulation experiment was designed to validate the model. And a sort of controlling software was designed on local net. Besides, a special welding experiment had been designed to check the controlling way. Results show the controlling process rightly and feasibly.
基金supported by the National Natural Science Foundation of China (Nos.50705084 and 60473129)the Science and Technology Plan of Zhejiang Province,China (No.2007C13018)
文摘The specification of authorization policies in access control models proposed so far cannot satisfy the requirements in workflow management systems(WFMSs).Furthermore,existing approaches have not provided effective conflict detection and resolution methods to maintain the consistency of authorization polices in WFMSs.To address these concerns,we propose the definition of authorization policies in which context constraints are considered and the complicated requirements in WFMSs can be satisfied.Based on the definition,we put forward static and dynamic conflict detection methods for authorization policies.By defining two new concepts,the precedence establishment rule and the conflict resolution policy,we provide a flexible approach to resolving conflicts.