SZodixStudyAcademic Library

Shelves Open access

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

Reduction Rules for Colored Workflow Nets · Study

WorkReduction Rules for Colored Workflow Nets

Javier Esparza2016

Work2016

Reduction Rules for Colored Workflow Nets

Javier Esparza · Philipp Hoffmann

20 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 Petri Nets in System Modeling

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2001Workflow Management: Models, Methods, and Systems 2003Workflow Management—Models, Methods and Systems 2000Analyzing process models using graph reduction techniques 2010Soundness of workflow nets: classification, decidability, and analysis 2001Diagnosing Workflow Processes using Woflan 2009Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows 2004Data flow and validation in workflow modelling

Cited by

2020Translating Workflow Nets to Process Trees : An Algorithmic Approach

Related works

Explore the map →

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

2014A new verification technique for large processes based on identification of relevant tasksarticle · 7 shared references 2014Verifying soundness of business processes: A decision process Petri nets approacharticle · 6 shared references 2009Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflowsother · 5 shared references 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariantsarticle · 5 shared references 2011Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possiblearticle · 5 shared references 2007Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariantsarticle · 5 shared references

Details

Year2016

Typeother

Published2016-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations20

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-662-49665-7_20

openalex_workW2230127385

Links

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