Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Turakhodjaeva Nasibakhon, Ing.
Abstrakt

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. 

Klíčová slova

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

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
ISBN
80-86840-16-6
Vydavatel
Marq software s.r.o.
Místo
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"
}
Projekty
Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, Standardní projekty, GA102/04/0780, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru