SZodixStudyAcademic Library

Shelves Open access

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

Petri Net Based Certification of Event-Driven Process Chains · Study

WorkPetri Net Based Certification of Event-Driven Process Chains

Peter Langner1998

Work1998

Petri Net Based Certification of Event-Driven Process Chains

Peter Langner · Joachim Wehler

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

References

1997Verification of workflow nets 1994Business Process Engineering: Reference Models for Industrial Enterprises

Cited by

2018Event-Driven Process Chain for Modeling and Verification of Business Requirements–A Systematic Literature Review 2005Mining configurable enterprise information systems 2006On the Syntax of Reference Model Configuration – Transforming the C-EPC into Lawful EPC Models 1999An Ontological Analysis of Integrated Process Modelling 2008Getting rid of OR-joins and multiple start events in business process models 2005Colored Petri Nets to Verify Extended Event-Driven Process Chains 2005Patterns of Process Modeling 2006Generating correct EPCs from configured C-EPCs

Related works

Explore the map →

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

2001Relaxed Soundness of Business Processesother · 2 shared references 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariantsarticle · 2 shared references 2009Organisational reference models: supporting an adequate design of local business processesarticle · 2 shared references 1999Formalization and verification of event-driven process chainsarticle · 1 shared reference 2002Inheritance of workflows: an approach to tackling problems related to changearticle · 1 shared reference 2000Analyzing process models using graph reduction techniquesarticle · 1 shared reference

Details

Year1998

Typeother

Published1998-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations67

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/3-540-69108-1_16

openalex_workW1583530357

Links

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