Business process redesign: A Petri-net-based approach

Aalst, Wil M. P. van der; Hee, K.M. van

doi:10.1016/0166-3615(95)00051-8

Cited by 122 publications

(56 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The same line of argument applies to establish the associativity of append: X = append(append( [1,3,5], [7,9]), [11,13,15]) X = append( [1,3,5],append( [7,9], [11,13,15]…”

Section: Examplementioning

confidence: 99%

“…The append program is a typical example, where the Remarkably, properties about the increase and decrease of atoms in state transition systems have been studied in depth in the field of Petri Nets [1]. Boundedness of the number of tokens at each place is a fundamental property of Petri Nets and is analyzed by forming a reachability graph of possible markings.…”

Section: Composition Analysismentioning

confidence: 99%

See 1 more Smart Citation

Towards a Substrate Framework of Computation

Ueda

2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. A grand challenge in computing is to establish a substrate computational model that encompasses diverse forms of non-sequential computation. This paper demonstrates how a hypergraph rewriting framework nicely integrates various forms and ingredients of concurrent computation and how simple static analyses help the understanding and optimization of programs. Hypergraph rewriting treats processes and messages in a unified manner, and treats message sending and parameter passing as symmetric reaction between two entities. Specifically, we show how fine-grained strong reduction of the λ-calculus can be concisely encoded into hypergraph rewriting with a small set of primitive operations.

show abstract

“…The same line of argument applies to establish the associativity of append: X = append(append( [1,3,5], [7,9]), [11,13,15]) X = append( [1,3,5],append( [7,9], [11,13,15]…”

Section: Examplementioning

confidence: 99%

Section: Composition Analysismentioning

confidence: 99%

Towards a Substrate Framework of Computation

Ueda

2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Although large organizations support their processes using a wide variety of process-aware information systems, the majority of business processes are still not directly driven by process models [8]. Despite the success of Business Process Management (BPM) thinking in organizations, Workflow Management (WfM) systems -today often referred to as BPM systems -are not widely used.…”

Section: Introductionmentioning

confidence: 99%

“…and better insights, to maintainability and ability to rapidly develop organization-specific solutions [8,23]. Although obvious, this approach has not been adopted thus far, because BPM vendors have failed to provide content and ERP vendors suffer from the "Law of the handicap of a head start".…”

Section: Introductionmentioning

confidence: 99%

Ensuring correctness during process configuration via partner synthesis

Aalst

Lohmann

Rosa

2012

Information Systems

View full text Add to dashboard Cite

Variants of the same process can be encountered within one organization or across different organizations. For example, different municipalities, courts, and rental agencies all need to support highly similar processes. In fact, procurement and sales processes can be found in almost any organization. However, despite these similarities, there is also the need to allow for local variations in a controlled manner. Therefore, many academics and practitioners have advocated the use of configurable process models (sometimes referred to as reference models). A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is subsequently used to handle individual cases, for instance, to process customer orders. Process configuration is notoriously difficult as there may be all kinds of interdependencies between configuration decisions. In fact, an incorrect configuration may lead to behavioral issues such as deadlocks and livelocks. To address this problem, we present a novel verification approach inspired by the "operating guidelines" used for partner synthesis. We view the configuration process as an external service, and compute a characterization of all such services which meet particular requirements via the notion of configuration guideline. As a result, we can characterize all feasible configurations (i. e., configurations without behavioral problems) at design time, instead of repeatedly checking each individual configuration while configuring a process model.

show abstract

“…The spectacular growth of event data is rapidly changing the Business Process Management (BPM) discipline [2,10,20,29,35,45,53]. It makes no sense to focus on modeling, model-based analysis and model-based implementation without using the valuable information hidden in information systems [1].…”

Section: Introductionmentioning

confidence: 99%

Extracting Event Data from Databases to Unleash Process Mining

Aalst

2015

Management for Professionals

View full text Add to dashboard Cite

Abstract. Increasingly organizations are using process mining to understand the way that operational processes are executed. Process mining can be used to systematically drive innovation in a digitalized world. Next to the automated discovery of the real underlying process, there are process-mining techniques to analyze bottlenecks, to uncover hidden inefficiencies, to check compliance, to explain deviations, to predict performance, and to guide users towards "better" processes. Dozens (if not hundreds) of process-mining techniques are available and their value has been proven in many case studies. However, process mining stands or falls with the availability of event logs. Existing techniques assume that events are clearly defined and refer to precisely one case (i.e. process instance) and one activity (i.e., step in the process). Although there are systems that directly generate such event logs (e.g., BPM/WFM systems), most information systems do not record events explicitly. Cases and activities only exist implicitly. However, when creating or using process models "raw data" need to be linked to cases and activities. This paper uses a novel perspective to conceptualize a database view on event data. Starting from a class model and corresponding object models it is shown that events correspond to the creation, deletion, or modification of objects and relations. The key idea is that events leave footprints by changing the underlying database. Based on this an approach is described that scopes, binds, and classifies data to create "flat" event logs that can be analyzed using traditional process-mining techniques.

show abstract

Business process redesign: A Petri-net-based approach

Cited by 122 publications

References 5 publications

Towards a Substrate Framework of Computation

Towards a Substrate Framework of Computation

Ensuring correctness during process configuration via partner synthesis

Extracting Event Data from Databases to Unleash Process Mining

Contact Info

Product

Resources

About