SZodixStudyAcademic Library

Shelves Open access

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

Verifying Generalized Soundness of Workflow Nets · Study

WorkVerifying Generalized Soundness of Workflow Nets

Kees van Hee2007

OA

Workgreen2007

Verifying Generalized Soundness of Workflow Nets

Kees van Hee · Olivia Oanea · Natalia Sidorova · Marc Voorhoeve

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2002Workflow Management 2001Workflow Management: Models, Methods, and Systems 2004Applications and Theory of Petri Nets 2004 2003Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach 2004Generalised Soundness of Workflow Nets Is Decidable 2005Structural soundness of workflow nets is decidable

Related works

Explore the map →

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

2013Business Process Modeling Using Petri Netsother · 5 shared references 2011Formalizing a Workflow-Net Implementation of Design-Structure-Matrix-Based Process Planning for New Product Developmentarticle · 5 shared references 2005Soundness of Resource-Constrained Workflow Netsother · 4 shared references 2008On the relationship between workflow models and document typesarticle · 4 shared references 2006Workflow Model Compositions Preserving Relaxed Soundnessother · 4 shared references 2006Discovering expressive process models by clustering log tracesarticle · 3 shared references

Details

Year2007

Typeother

Published2007-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations17

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-540-70881-0_21

openalex_workW2116818211

Links

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