Normalized workflow net (NWF-net): Its definition and properties

Journal of Intelligent Information Systems, 1998

A workflow system, in its general form, is basically a heterogeneous and distributed information system where the tasks are performed using autonomous systems. Resources, such as databases, labor, etc. are typically required to process these tasks. Prerequisite to the execution of a task is a set of constraints that reflect the applicable business rules and user requirements.

Asia-Pacific Conference on Conceptual Modelling, 2005

Abstract: In retail information systems it is common practiceto subsume the data of products into product groups,which o#ers organizational advantages for examplewhen new branches are opened, because they are assignedproduct groups instead of single products. Inspiredby this approach, this paper focuses on businessprocesses and proposes the usage of workflowmodules stored in a workflow warehouse, which representreusable, standardized components that are

Journal of Circuits Systems and Computers, 1998

European journal of operational research, 2001

Despite their wide range of applications, work¯ow systems still suer from lack of an agreed and standard modelling technique. It is a motivating research area and some researchers have proposed dierent modelling techniques. Petri nets, among the other techniques, are one of the mainly used modelling techniques for both qualitative and quantitative analysis of work¯ow and work¯ow systems. We have brie¯y presented a way of mapping work¯ow into Petri nets, which can be used as a basis for such systems. A lot of available papers on Petri net-based modelling of work¯ow have been reviewed and classi®ed. Ó

1994

Abstract High-level Petri nets have been used to model systems in a variety of application domains, ranging from protocols to logistics. This paper addresses an application domain which is receiving more and more attention: workflows in offices and their management. High-level Petri nets are used to model (1) the workflow in an office environment and (2) the workflow management system to support the control of office work. In this way we will be able to formalize the main concepts.

2008 The 3rd International Conference on Grid and Pervasive Computing - Workshops, 2008

Several years of research are establishing Petri Nets as a modeling formalism for scientific workflows; their formal semantics and the existence of several analysis tools, among others, make them suitable for complex concurrent processes' description. However, the non-determinism of the Petri Net model clashes with the imperative Turingbased environment provided by mainstream programming languages such as C/C++, Java and C#. Therefore several design decisions must be taken in order to provide a concrete implementation of a Petri Net-based engine.

Lectures on Concurrency and Petri Nets, 2004

Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processes an enterprise information system needs to be aware of these processes and their organizational context. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of such operational business processes. BPM can be considered as an extension of classical Workflow Management (WFM) systems and approaches. This tutorial introduces models, systems, and standards for the design, analysis, and enactment of workflow processes. Petri nets are used for the modeling and analysis of workflows. Using Petri nets as a formal basis, contemporary systems, languages, and standards for BPM and WFM are discussed. Although it is clear that Petri nets can serve as a solid foundation for BPM/WFM technology, in reality systems, languages, and standards are developed in an ad-hoc fashion. To illustrate this XPDL, the "Lingua Franca" proposed by the Workflow Management Coalition (WfMC), is analyzed using a set of 20 basic workflow patterns. This analysis exposes some of the typical semantic problems restricting the application of BPM/WFM technology.

Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange - eclipse '05, 2005

Procedia Computer Science, 2016

In world of industry, the deployment and execution of business processes can be a very costly investment. The problem is in extreme situations; companies need additional resources to ensure the smooth running of business process. Moreover, they need to know exactly when a business process needs more resources, to be able to use cloud resources. In this work, we have defined a formal model that supports the specification and analysis of company requirements in resources and allows simulating many parallel executions of business process. To detect situations that can be caused by the lack of resources in business process execution.

International Journal of Science and Engineering Applications, 2014

Control-flow and data-flow modeling and verification are two important challenges for traditional workflow management. To formulate the data-flow modeling and verification, a Petri Net based approach is proposed in this paper. More specifically, the WFIO-net, which is a kind of WF-net by extending each activity with its read and write data sets, is first presented to model both the control-flow and data-flow information in a workflow process. Moreover, the firing rule of WFIO-net which is different from traditional Petri net is discussed in detail. Then the formal definitions of three basic types of data-flow errors, including missing data, redundant data and conflicting data are formulated using WFIO-net. Next, a polynomial complexity algorithm which is capable of detecting the above-mentioned three kinds of basic data-flow anomalies is proposed based on the activity-data incidence matrix of the WFIO-net. A running case of a property loan approval business process is given to validate the proposed method.