Detail publikace

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

ČEŠKA Milan a TURAKHODJAEVA Nasibakhon. Verification of Worklow Management Systems described by Object-Oriented Petri Nets. In: Proceedings of XXVIIth International Autumn Colloquium ASIS 2005. Ostrava: MARQ, 2005, s. 189-198. ISBN 80-86840-16-6.
Název česky
Verifikace Systémů řizení toků aktivit popsaných Objektově-Orientovanými Petriho Sítěmi
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Turakhodjaeva Nasibakhon, Ing. (UITS FIT VUT)
Abstrakt

Prezentovaný článek představuje metody formální analýzý Systémů řizení toků aktivit (workflow) popsané Objektově-orientovanými Petriho sítěmi. Workflow koordinuje postup uživatelů, distribuuje pracovní úlohy a informace mezi uživateli a řídí zpracování jednotlivých úloh a aktivit obchodního (byznys) procesu s cílem dosažení definovaného cíle. Správnost, efektivnost, výkonnost byznys procesů podporavané Systémy řízení toků aktivit jsou důležité pro organizaaci. Cílem je verifikace použitelnosti Objektově-opientovaných Petriho sítí v Systémech řízení toků aktivit.

Rok
2005
Strany
189-198
Sborník
Proceedings of XXVIIth International Autumn Colloquium ASIS 2005
Konference
ASIS 2005 - 27th International Autumn Colloquium - Advanced Simulation of Systems, Přerov, CZ
ISBN
80-86840-16-6
Vydavatel
MARQ
Místo
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"
}
Nahoru