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

Generalised Soundness of Workflow Nets Is Decidable · Study

WorkGeneralised Soundness of Workflow Nets Is Decidable

Kees van Hee2004

Work2004

Generalised Soundness of Workflow Nets Is Decidable

Kees van Hee · Natalia Sidorova · Marc Voorhoeve

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

References

1997Verification of workflow nets 2001Diagnosing Workflow Processes using Woflan 2003Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach

Cited by

2013Business Process Modeling Using Petri Nets 2013Some Complexity Results for the Soundness Problem of Workflow Nets 2020Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes 2005Structural soundness of workflow nets is decidable 2014Verifying soundness of business processes: A decision process Petri nets approach 2011Formalizing a Workflow-Net Implementation of Design-Structure-Matrix-Based Process Planning for New Product Development 2005On the Suitability of Correctness Criteria for Business Process Models 2008On the relationship between workflow models and document types

Related works

Explore the map →

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

2006Translating unstructured workflow processes to readable BPEL: Theory and implementationarticle · 3 shared references 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariantsarticle · 3 shared references 2003Challenges in Business Process Management: Verification of business processes using Petri netsarticle · 3 shared references 2012Maximal Structuring of Acyclic Process Modelsarticle · 3 shared references 2013Business Process Modeling Using Petri Netsother · 3 shared references 2013The P2P Approach to Interorganizational Workflowschapter · 2 shared references

Details

Year2004

Typeother

Published2004-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations65

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-540-27793-4_12

openalex_workW1541004980

Links

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