SZodixStudyAcademic Library

Shelves Open access

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

Using Formal Analysis Techniques in Business Process Redesign · Study

WorkUsing Formal Analysis Techniques in Business Process Redesign

Kees M. van Hee2000

Work2000

Using Formal Analysis Techniques in Business Process Redesign

Kees M. van Hee · Hajo Alexander Reijers

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

Cited by

2015Detecting potential weaknesses in business processes 2012On Risk Management with Information Flows in Business Processes 2010Pattern-Based Semi-Automatic Analysis of Weaknesses in Semantic Business Process Models in the Banking Sector 2014Bringing value-based business process management to the operational process level 2013Simulation-Based Quantification of Business Impacts Caused by Service Incidents 2009Dwelling time probability density distribution of instances in a workflow model 2001On the optimal allocation of resources in stochastic workflow nets 2011Automatic identification of structural process weaknesses in flow chart diagrams

Details

Year2000

Typeother

Published2000-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations44

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/3-540-45594-9_10

openalex_workW1517010683

Links

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