Publication detail

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

ČEŠKA, M., TURAKHODJAEVA, N.

Original Title

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

Type

conference paper

Language

English

Original Abstract

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.

Keywords

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

Authors

ČEŠKA, M., TURAKHODJAEVA, N.

RIV year

2005

Released

7. 9. 2005

Location

Ostrava

ISBN

80-86840-16-6

Book

Proceedings of XXVIIth International Autumn Colloquium ASIS 2005

Pages from

189

Pages to

198

Pages count

10

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"
}