SStudyAcademic Library

Dashboard Shelves Open access My library Review

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

Empirical Studies in Process Model Verification · Study

WorkEmpirical Studies in Process Model Verification

Jan Mendling2009

Work2009

Empirical Studies in Process Model Verification

64 citations·0/0 files stored·Lecture notes in computer science

No readable copy stored yet — this record is metadata only.

Business Process Modeling and Analysis Formal Methods in Verification Petri Nets in System Modeling

Abstract

No abstract was published for this record.

Citations in this library

Stored only when both papers are in the corpus — 64 citations exist upstream.

References

2007Business Process Management : Concepts, Languages, Architectures 1997Verification of workflow nets 2002Research Commentary: Information Systems and Conceptual Modeling—A Research Agenda 2009Seven process modeling guidelines (7PMG)2000Guidelines of Business Process Modeling 2004Verification and validation of simulation models 2006Process models representing knowledge for action: a revised quality framework 2001Diagnosing Workflow Processes using Woflan

Cited by

2013Detection of naming convention violations in process models for different languages 2012Towards Understanding the Process of Process Modeling: Theoretical and Empirical Considerations 2012Action patterns in business process model repositories 2021Process modeling for smart factories: using science mapping to understand the strategic themes, main challenges and future trends 2012Quality Marks, Metrics, and Measurement Procedures for Business Process Models 2016How do humans inspect BPMN models: an exploratory study 2013Formal workflow design analytics using data flow modeling 2015An Experiment on Process Model Understandability Using Textual Work Instructions and BPMN Models

Details

Year2009

Typeother

Published2009-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations64

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-00899-3_12

openalex_workW1529819520

Links

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