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

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach · Study

WorkSoundness and Separability of Workflow Nets in the Stepwise Refinement Approach

Kees van Hee2003

Work2003

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach

Kees van Hee · Natalia Sidorova · Marc Voorhoeve

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

References

1997Verification of workflow nets 2001Workflow Management: Models, Methods, and Systems 2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques 2001Diagnosing Workflow Processes using Woflan 2001Relaxed Soundness of Business Processes

Cited by

2006Translating unstructured workflow processes to readable BPEL: Theory and implementation 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants 2005Analyzing BPEL processes using Petri nets 2004Generalised Soundness of Workflow Nets Is Decidable 2003Challenges in Business Process Management: Verification of business processes using Petri nets 2004Using genetic algorithms to mine process models : representation, operators and results 2005Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System 2012Maximal Structuring of Acyclic Process Models

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 · 5 shared references 2004Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Managementother · 4 shared references 2006Translating unstructured workflow processes to readable BPEL: Theory and implementationarticle · 4 shared references 2003Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?article · 4 shared references 2003Challenges in Business Process Management: Verification of business processes using Petri netsarticle · 4 shared references 2013Business Process Modeling Using Petri Netsother · 4 shared references

Details

Year2003

Typeother

Published2003-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations117

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/3-540-44919-1_22

openalex_workW1585036716

Links

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