SZodixStudyAcademic Library

Dashboard Shelves Open access My library Inbox Notes Write Learn Alerts

More

Ask your library Notifications Quick cite Review

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

On the Suitability of Correctness Criteria for Business Process Models · Study

WorkOn the Suitability of Correctness Criteria for Business Process Models

Juliane Dehnert2005

Work2005

On the Suitability of Correctness Criteria for Business Process Models

Juliane Dehnert · Armin Zimmermann

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 1998Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control 2004BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS 2001Relaxed Soundness of Business Processes 2004Applications and Theory of Petri Nets 2004 2004Generalised Soundness of Workflow Nets Is Decidable 2003A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling 2004Verification of WF-nets

Cited by

2011A rule-based approach to model and verify flexible business processes 2019A modular approach to the specification and management of time duration constraints in BPMN 2006Workflow Model Compositions Preserving Relaxed Soundness

Related works

Explore the map →

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

2013Business Process Modeling Using Petri Netsother · 4 shared references 2006Workflow Model Compositions Preserving Relaxed Soundnessother · 4 shared references 2009Process-Aware Information Systems: Lessons to Be Learned from Process Miningother · 3 shared references 2006What business process modelers can learn from programmersarticle · 3 shared references 2019Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMNarticle · 3 shared references 2011Formalizing a Workflow-Net Implementation of Design-Structure-Matrix-Based Process Planning for New Product Developmentarticle · 3 shared references

Details

Year2005

Typeother

Published2005-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations25

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/11538394_28

openalex_workW1550989081

Links

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