SZodixStudyAcademic Library

Shelves Open access

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

Decomposition-Based Verification of Cyclic Workflows · Study

WorkDecomposition-Based Verification of Cyclic Workflows

Yongsun Choi2005

Work2005

Decomposition-Based Verification of Cyclic Workflows

Yongsun Choi · J. Leon Zhao

24 citations·0/0 files stored·Lecture notes in computer science

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 — 24 citations exist upstream.

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 1995An overview of workflow management: From process modeling to workflow automation infrastructure 2003Business Process Management: A Survey 2000Production Workflow - Concepts and Techniques 2000Analyzing process models using graph reduction techniques 2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques 2001Diagnosing Workflow Processes using Woflan 1998Modeling and Analysis of Workflows Using Petri Nets

Cited by

2010An integer programming based approach for verification and diagnosis of workflows

Related works

Explore the map →

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

2004Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Managementother · 7 shared references 2009Modelling and analysis techniques for cross‐organizational workflow systemsarticle · 7 shared references 2009Detecting artifact anomalies in business process specifications with a formal modelarticle · 7 shared references 2006Translating unstructured workflow processes to readable BPEL: Theory and implementationarticle · 6 shared references 2004Applying Propositional Logic to Workflow Verificationarticle · 6 shared references 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariantsarticle · 6 shared references

Details

Year2005

Typeother

Published2005-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations24

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/11562948_9

openalex_workW1509500618

Links

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