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 mimo WoS a Scopus

Jazyk

angličtina

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. 

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