SZodixStudyAcademic Library

Shelves Open access

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

Soundness of Workflow Nets with Reset Arcs · Study

WorkSoundness of Workflow Nets with Reset Arcs

Wil M. P. van der Aalst2009

OA

Workgreen2009

Soundness of Workflow Nets with Reset Arcs

Wil M. P. van der Aalst · Kees M. van Hee · Arthur H. M. ter Hofstede · Natalia Sidorova · H. M. W. Verbeek · Marc Voorhoeve +1 more

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2007Business Process Management : Concepts, Languages, Architectures 1997Verification of workflow nets 2000Production Workflow - Concepts and Techniques 2006Process-aware information systems: bridging people and software through process technology 2005Process‐Aware Information Systems 2003Workflow Management—Models, Methods and Systems 2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

Related works

Explore the map →

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

2009Process-Aware Information Systems: Lessons to Be Learned from Process Miningother · 9 shared references 2010Soundness of workflow nets: classification, decidability, and analysisarticle · 8 shared references 2012A Decade of Business Process Management Conferences: Personal Reflections on a Developing Disciplineother · 7 shared references 2013Business Process Modeling Using Petri Netsother · 7 shared references 2006WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPELother · 7 shared references 2018Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraintsarticle · 7 shared references

Details

Year2009

Typeother

Published2009-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations15

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-04856-2_3

openalex_workW2153546266

Links

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