Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the ...Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the analysis and verification of structural and behavioral correctness of workflow process are discussed. Finally, the algorithm of verification of process definitions is proposed.展开更多
In enterprise dynamic alliance towards agile manufacturing systems, any group needs to know which activities it must take part in, in what order those activities take place and how many other groups it must interact ...In enterprise dynamic alliance towards agile manufacturing systems, any group needs to know which activities it must take part in, in what order those activities take place and how many other groups it must interact with. The traditional procedural models can’t meet the requirement of the modeling for an enterprise dynamic alliance. In this paper, we use role based models for an enterprise modeling. Role based models group activities into roles, which describe the desired behavior of individual enterprise. We have developed a graphical modeling tool built on Web/DCOM platform according to Petri net theory and role based methodology.展开更多
The violently penetration of renewables in power supply network leads to situations, by which the offer exceeds the demand. Therefore, it is necessary to include a system for processes＇ management. SmartGrid is a pla...The violently penetration of renewables in power supply network leads to situations, by which the offer exceeds the demand. Therefore, it is necessary to include a system for processes＇ management. SmartGrid is a platform over the power supply network. It is represented with its network and services, which also have to be managed. The paper aims to show the second stage of SmartGrid management modeling. It meets heterogeneous requirements of the actors--subscriber without photovoltaics, subscriber with photovoltaics, service provider, network operator, and network elements operator--to service and network management and is oriented to functional areas, covering the life cycle of power supply service： Design, Planning, Installation, Provision, Configuration, Maintenance, Performance, Accounting, Buying Up, Security and Subscriber Control. Functional models for existing networks--telecommunications--are used and they are adapted to power supply. The results are illustrated with three functional areas for service management： Accounting, Buying Up, and Performance. The synthesis of network management functions and network element management functions are similar.展开更多
文摘Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are provided, and the analysis and verification of structural and behavioral correctness of workflow process are discussed. Finally, the algorithm of verification of process definitions is proposed.
文摘In enterprise dynamic alliance towards agile manufacturing systems, any group needs to know which activities it must take part in, in what order those activities take place and how many other groups it must interact with. The traditional procedural models can’t meet the requirement of the modeling for an enterprise dynamic alliance. In this paper, we use role based models for an enterprise modeling. Role based models group activities into roles, which describe the desired behavior of individual enterprise. We have developed a graphical modeling tool built on Web/DCOM platform according to Petri net theory and role based methodology.
文摘The violently penetration of renewables in power supply network leads to situations, by which the offer exceeds the demand. Therefore, it is necessary to include a system for processes＇ management. SmartGrid is a platform over the power supply network. It is represented with its network and services, which also have to be managed. The paper aims to show the second stage of SmartGrid management modeling. It meets heterogeneous requirements of the actors--subscriber without photovoltaics, subscriber with photovoltaics, service provider, network operator, and network elements operator--to service and network management and is oriented to functional areas, covering the life cycle of power supply service： Design, Planning, Installation, Provision, Configuration, Maintenance, Performance, Accounting, Buying Up, Security and Subscriber Control. Functional models for existing networks--telecommunications--are used and they are adapted to power supply. The results are illustrated with three functional areas for service management： Accounting, Buying Up, and Performance. The synthesis of network management functions and network element management functions are similar.
