SZodixStudyAcademic Library

Dashboard Shelves Open access My library Inbox Notes Write Learn Alerts

More

Ask your library Notifications Quick cite Review

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

Soundness of Resource-Constrained Workflow Nets · Study

WorkSoundness of Resource-Constrained Workflow Nets

Kees van Hee2005

Work2005

Soundness of Resource-Constrained Workflow Nets

Kees van Hee · Alexander Serebrenik · Natalia Sidorova · Marc Voorhoeve

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 1997Verification of workflow nets 2002Workflow Management 2001Workflow Management: Models, Methods, and Systems 2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques 2003Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach

Cited by

2013Business Process Modeling Using Petri Nets 2007Conflict detection and resolution for workflows constrained by resources and non-determined durations 2010Optimizing Resource Conflicts in Workflow Management Systems 2010A method of workflow scheduling based on colored Petri nets 2009Work flows in life science 2006Workflow Model Compositions Preserving Relaxed Soundness 2010An adaptive work distribution mechanism based on reinforcement learning

Related works

Explore the map →

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

2004Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Managementother · 5 shared references 2006Translating unstructured workflow processes to readable BPEL: Theory and implementationarticle · 5 shared references 2003Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?article · 5 shared references 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariantsarticle · 4 shared references 2009From DSM-Based Planning to Design Process Simulation: A Review of Process Scheme Logic Verification Issuesarticle · 4 shared references 2005Analyzing BPEL processes using Petri netsother · 4 shared references

Details

Year2005

Typeother

Published2005-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations42

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/11494744_15

openalex_workW1510349321

Links

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