SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Verification of EPCs: Using Reduction Rules and Petri Nets · Study

WorkVerification of EPCs: Using Reduction Rules and Petri Nets

Boudewijn F. van Dongen2005

Work2005

Verification of EPCs: Using Reduction Rules and Petri Nets

Boudewijn F. van Dongen · Wil M. P. van der Aalst · H. M. W. Verbeek

120 citations·0/0 files stored·Notes on numerical fluid mechanics and multidisciplinary design

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Formal Methods in Verification Model-Driven Software Engineering Techniques

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 120 citations exist upstream.

References

2002Workflow Management 2001Workflow Management: Models, Methods, and Systems 2000Production Workflow - Concepts and Techniques 1999Formalization and verification of event-driven process chains 1994Business Process Engineering: Reference Models for Industrial Enterprises 2000Analyzing process models using graph reduction techniques 2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques 2000Verification Of Workflow Task Structures: A Petri-net-baset Approach

Cited by

2011Managing Process Model Complexity Via Abstract Syntax Modifications 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants 2014Dealing with change in process choreographies: Design and implementation of propagation algorithms 2006Structural Patterns for Soundness of Business Process Models 2007Formalization and Verification of EPCs with OR-Joins Based on State and Context 2006

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariantsarticle · 11 shared references 2004Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Managementother · 5 shared references 2007Detection and prediction of errors in EPCs of the SAP reference modelarticle · 5 shared references 2003Challenges in Business Process Management: Verification of business processes using Petri netsarticle · 5 shared references 2005Decomposition-Based Verification of Cyclic Workflowsother · 5 shared references 2010Verifying workflow processes: a transformation-based approacharticle · 5 shared references

Details

Year2005

Typeother

Published2005-01-01

VenueNotes on numerical fluid mechanics and multidisciplinary design

ISSN-L1612-2909

Languageen

Citations120

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/11431855_26

openalex_workW1569043828

Links

Imported from OpenAlex (CC0) — nothing here is generated.

Faulty EPCs in the SAP Reference Model

2008Diagnosing Differences between Business Process Models

2006On Representing, Purging, and Utilizing Change Logs in Process Management Systems