Publication Details

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

ČEŠKA Milan and TURAKHODJAEVA Nasibakhon. Verification of Worklow Management Systems described by Object-Oriented Petri Nets. In: Proceedings of XXVIIth International Autumn Colloquium ASIS 2005. Ostrava, 2005, pp. 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
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
Conference
ASIS 2005 - 27th International Autumn Colloquium - Advanced Simulation of Systems, Přerov, CZ
ISBN
80-86840-16-6
Place
Ostrava, CZ
BibTeX
@INPROCEEDINGS{FITPUB7903,
   author = "Milan \v{C}e\v{s}ka and Nasibakhon Turakhodjaeva",
   title = "Verification of Worklow Management Systems described by Object-Oriented Petri Nets",
   pages = "189--198",
   booktitle = "Proceedings of XXVIIth International Autumn Colloquium ASIS 2005",
   year = 2005,
   location = "Ostrava, CZ",
   ISBN = "80-86840-16-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7903"
}
Back to top