Result 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: Marq software s.r.o., 2005. p. 189-198. ISBN: 80-86840-16-6.
Type
conference paper
Language
English
Authors
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Turakhodjaeva Nasibakhon, Ing.
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. 

Keywords

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

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
ISBN
80-86840-16-6
Publisher
Marq software s.r.o.
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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-16-6"
}
Projects
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-12-31, completed
Departments
Department of Intelligent Systems (DITS)
Back to top