Publication Details

Verification of Worklow Management Systems described by Object-Oriented Petri Nets

ČEŠKA, M.; TURAKHODJAEVA, N. Verification of Worklow Management Systems described by Object-Oriented Petri Nets. Proceedings of XXVIIth International Autumn Colloquium ASIS 2005. Ostrava: 2005. p. 189-198. ISBN: 80-86840-16-6.

Czech title

Verifikace Systémů řizení toků aktivit popsaných Objektově-Orientovanými Petriho Sítěmi

Type

conference paper

Language

English

Authors

Češka Milan, prof. RNDr., CSc.
Turakhodjaeva Nasibakhon, Ing.

Keywords

Workflow, Workflow Management Systems, Object-Oriented Petri Nets, PNtalk, analysis, verification.

Abstract

This article presents methods of formal analysis and system verification by Object-oriented Petri nets (OOPN) in domain Workflow Management systems (WfMS). The purpose is to verify applicability of OOPNs in WfMS.

Annotation

Object-Oriented Petri Nets (OOPN) is suitable for modeling and analysis of concurrent systems. Workflow management system (WfMS) is a software package that can be used to support the definition, management and execution of workflow processes. The PNtalk, based on Object-Oriented Petri Nets can be used to analyze processes in the context of workflow management. This article presented the verification of workflow systems.

Published

2005

Pages

189–198

Proceedings

Proceedings of XXVIIth International Autumn Colloquium ASIS 2005

ISBN

80-86840-16-6

Place

Ostrava

BibTeX

@inproceedings{BUT18075,
  author="Milan {Češka} and Nasibakhon {Turakhodjaeva}",
  title="Verification of Worklow Management Systems described by Object-Oriented Petri Nets",
  booktitle="Proceedings of XXVIIth International Autumn Colloquium ASIS 2005",
  year="2005",
  pages="189--198",
  address="Ostrava",
  isbn="80-86840-16-6"
}