SZodixStudyAcademic Library

Shelves Open access

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

On the Semantics of EPCs: Efficient Calculation and Simulation · Study

WorkOn the Semantics of EPCs: Efficient Calculation and Simulation

Nicolas Cuntz2005

Work2005

On the Semantics of EPCs: Efficient Calculation and Simulation

Nicolas Cuntz · Ekkart Kindler

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

References

2005On the semantics of EPCs: Resolving the vicious circle 2004On the Semantics of EPCs: A Framework for Resolving the Vicious Circle 2002On the semantics of EPCs: A vicious circle 2002Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK)1998Petri Net Based Certification of Event-Driven Process Chains 2000Quo vadis EPK in ARIS? Ansätze zu syntaktischen Erweiterungen und einer formalen Semantik

Cited by

2011Visual suggestions for improvements in business process diagrams 2007EXTENDING BUSINESS PROCESS MODELING TOOLS WITH WORKFLOW PATTERN REUSE 2010A heuristic method for detecting problems in business process models

Related works

Explore the map →

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

2006On the Syntax of Reference Model Configuration – Transforming the C-EPC into Lawful EPC Modelsother · 5 shared references 2005Yet Another Event-Driven Process Chainother · 4 shared references 2006Towards EPC Semantics based on State and Context.article · 4 shared references 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariantsarticle · 3 shared references 2006Structural Patterns for Soundness of Business Process Modelsother · 3 shared references 2007Formalization and Verification of EPCs with OR-Joins Based on State and Contextother · 3 shared references

Details

Year2005

Typeother

Published2005-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations19

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/11538394_30

openalex_workW1537802571

Links

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