SZodixStudyAcademic Library

Shelves Open access

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

Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs · Study

WorkChecking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs

Kaïs Klai2012

OA

Workgreen2012

Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs

Kaïs Klai · Jörg Desel

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 1997Verification of workflow nets 2000Loosely coupled interorganizational workflows:2001Relaxed Soundness of Business Processes 2003Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach 2003Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?2011Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes 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.

2003Challenges in Business Process Management: Verification of business processes using Petri netsarticle · 5 shared references 2013Business Process Modeling Using Petri Netsother · 4 shared references 2011Symbolic abstraction and deadlock-freeness verification of inter-enterprise processesarticle · 4 shared references 2009Soundness of Workflow Nets with Reset Arcsother · 4 shared references 2018Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraintsarticle · 4 shared references 2006Translating unstructured workflow processes to readable BPEL: Theory and implementationarticle · 3 shared references

Details

Year2012

Typeother

Published2012-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations14

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-30793-5_5

openalex_workW92709837

Links

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