The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The most important thing to workflow management is modeling business processes. It can ensure the correctness after model is put to use only when efficient modeling technology is used to build complex business processes. On the one hand the readability of model represented can be improved on the other hand it is convenient to the model performance analysis. This paper points out that the strict semantic...
A workflow net is a Petri net for modeling and analyzing a workflow. A process tree has been proposed as a representational bias of a workflow net and enabled us to grasp the structure of actions routing such as sequence, choice and parallel in the workflow net. The advantage of process trees enables us to grasp the structure of action routing such as sequence, choice, and parallel in a given workflow...
NORA (Network rOle-based Routing Algorithm) is a novel routing algorithm for WSNs which combines various effective techniques in order to reduce energy consumption and improves data routes. There is a clear need for the use of formal methods to validate system performance and functionality prior to the deployment of such algorithms in a real environment. This paper presents a formal study of NORA...
As Wireless Mesh network (WMN) is self-organizing, self-adaptive, low-cost and multi-hop, it has gradually become one of the next generation wireless networks for communication. The routing security is an important aspect of WMN. Once the routing protocol is under attack, other security measures of WMN become meaningless. Hence, detecting and resolving the attack for routing protocol is significant...
Due to the complexity of modern e-Business systems is steadily increasing, the analysis and design of e-Business systems using workflow is of great interest. A model design with workflow allows optimization and flexibility of the implementation of the e-Business systems. This paper describes the ongoing development of a Petri-Net-based workflow online shopping system. The described system presents...
A new book-lending system is designed and analyzed based on logic Petri nets in this paper. The batch processing function and indeterminacy of readers are included in the system. Its logic Petri net model is established and some important properties of the system are verified based on the model.
Within a list of available candidate services offering the same functions, users lean to select the less time consuming ones under the time sensitive situation. Considering the features of the process-aware services, this paper provides a novel consuming time duration computing method that shows high accuracy of performance description. After that a service selection mechanism is proposed to leverage...
A CPN model for the LDP protocol under the specific configuration mode (using downstream on demand label distribution, LSP ordered control, conservative label retention and non VC-merge mode) has been designed and implemented .Then using the CPN tools has simulated and analyzed the LDP protocol based on its CPN model and then obtained the protocol analysis report. Finally, using a CTL like branching...
Soundness is a vital property of Interorganizational Logical Workflow Nets (ILWN) which can efficiently model cooperative systems. But even though each logical workflow net (LWN) is sound, soundness of arbitrary ILWN is hard to decide. This study analyzes the causes of leading to deadlocks of interface transitions and unboundedness of interface data places: the incorrect order of transitions related...
The paper maps on the complaints of the workflow example in the Electric Operation & Maintenance System (EOMS) to the complaints workflow net, which is easy to computerize. To improve the execution efficiency of the model in practical applications, a kind of method is proposed. The method detects the bottleneck which affects the execution efficiency of the system through Markov analysis method,...
Clustering in routing algorithms is one of the effective solutions to enhance energy efficiency and scalability of large- scale wireless sensor networks. An energy-efficient distributed multi-level clustering algorithm (EEDMC) for wireless sensor networks (WSN) is presented. According to the local information of the networks, a node with higher residual energy and closer to the base station is more...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.