SZodixStudyAcademic Library

Shelves Open access

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

Soundness Analytics of Composed Logical Workflow Nets · Study

ArticleShelves

ArticleSoundness Analytics of Composed Logical Workflow Nets

Wei Liu2017

Article2017

Soundness Analytics of Composed Logical Workflow Nets

Wei Liu · Lu Wang · Xin Feng · Man Qi · Chun Gang Yan · Maozhen Li

10 citations·0/0 files stored·International Journal of Parallel Programming

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

References

2016A Branching-Process-Based Method to Check Soundness of Workflow Systems 2008Modeling and monitoring of E-commerce workflows 2011Soundness preservation in composed logical time workflow nets 2014Transformation of Logical Workflow Nets 2008Soundness Analysis of Inter-Organizational Workflows

Related works

Explore the map →

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

2018Petri net-based methods for analyzing structural security in e-commerce business processesarticle · 2 shared references 2012An emergency response decision support system framework for application in e-governmentarticle · 1 shared reference 2015Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patternsarticle · 1 shared reference 2016Analyzing E-Commerce Business Process Nets via Incidence Matrix and Reductionarticle · 1 shared reference 2013Some Complexity Results for the Soundness Problem of Workflow Netsarticle · 1 shared reference 2020Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processesarticle · 1 shared reference

Details

Year2017

Typearticle

Published2017-10-20

VenueInternational Journal of Parallel Programming

ISSN-L0885-7458

Languageen

Citations10

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/s10766-017-0536-8

openalex_workW2765745263

Links

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