Formal frameworks for workflow modelling

Armin Haller A

9 citations0/0 files stored

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 Model-Driven Software Engineering Techniques Petri Nets in System Modeling

Abstract

We survey formal frameworks for workflow modelling. We summarise important aspects of workflow management and approaches to evaluate current workflow management systems. We discuss a number of formalisms for workflow modelling, namely Petri nets, Temporal Logic, and Transaction Logic. We decribe how these formalisms are used specifically for workflow modelling, their possibilities and their disadvantages.

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2003Workflow Patterns 1995An overview of workflow management: From process modeling to workflow automation infrastructure 2004YAWL: yet another workflow language 1996Workflow Management: Modeling Concepts, Architecture and Implementation 1980Office Information Systems and Computer Science 1998Modeling and Analysis of Workflows Using Petri Nets 2001Petri net-based modelling of workflow systems: An overview

Explore the map →

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

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