Detail publikačního výsledku

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

Anglický název

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

Druh

Stať ve sborníku mimo WoS a Scopus

Originální 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. 

Anglický 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.

Klíčová slova v angličtině

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

Autoři

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

Vydáno

07.09.2005

Nakladatel

Marq software s.r.o.

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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-16-6"
}