SZodixStudyAcademic Library

Shelves Open access

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

Soundness Analysis of Inter-Organizational Workflows · Study

ArticleShelves

ArticleSoundness Analysis of Inter-Organizational Workflows

Haichun Sun2008

Article2008

Soundness Analysis of Inter-Organizational Workflows

Haichun Sun · Yuyue Du

12 citations·0/0 files stored·Information Technology Journal

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 Information Systems Theories and Implementation

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2000Loosely coupled interorganizational workflows:2003Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?2007Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets 2003Challenges in Business Process Management: Verification of business processes using Petri nets

Cited by

2016A Repair of Workflow Models Based on Mirroring Matrices 2017Soundness Analytics of Composed Logical Workflow Nets

Related works

Explore the map →

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

2014Transformation of Logical Workflow Netsarticle · 4 shared references 2011Modelling and analysis of workflow for lean supply chainsarticle · 3 shared references 2011Soundness preservation in composed logical time workflow netsarticle · 3 shared references 2011Symbolic abstraction and deadlock-freeness verification of inter-enterprise processesarticle · 3 shared references 2012Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphsother · 3 shared references 2003XML–Based Schema Definition for Support of Interorganizational Workflowarticle · 2 shared references

Details

Year2008

Typearticle

Published2008-11-01

VenueInformation Technology Journal

ISSN-L1812-5638

Languageen

Citations12

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.3923/itj.2008.1194.1199

openalex_workW1968510461

Links

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