Detail publikace

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

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

Originální název

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

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

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

Rok RIV

2005

Vydáno

7. 9. 2005

Místo

Ostrava

ISBN

80-86840-16-6

Kniha

Proceedings of XXVIIth International Autumn Colloquium ASIS 2005

Strany od

189

Strany do

198

Strany počet

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