Publication result detail

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

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

Original Title

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

English Title

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

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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. 

English abstract

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. 

Keywords

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

Key words in English

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

Authors

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

Released

07.09.2005

Publisher

Marq software s.r.o.

Location

Ostrava

ISBN

80-86840-16-6

Book

Proceedings of XXVIIth International Autumn Colloquium ASIS 2005

Pages from

189

Pages to

198

Pages count

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