Publication result detail

Workflow modeling with Petri nets in Workflow Management Systems

KOČÍ, R.; TURAKHODJAEVA, N.

Original Title

Workflow modeling with Petri nets in Workflow Management Systems

English Title

Workflow modeling with Petri nets in Workflow Management Systems

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

Workflow management has many perspectives. This article discusses aboutusing the extension of Petri nets for workflow modeling. One of a suchextension is the Object Oriented Petri nets (OOPNs) formalism. OOPNscan be used to model and analyze processes in the context of workflowmanagement. We use OOPN as a design language for the specification of aworkflow model. To ensure synchronization between appropriate nets wesuccessfully use special methods called synchronous ports.

English abstract

Workflow management has many perspectives. This article discusses aboutusing the extension of Petri nets for workflow modeling. One of a suchextension is the Object Oriented Petri nets (OOPNs) formalism. OOPNscan be used to model and analyze processes in the context of workflowmanagement. We use OOPN as a design language for the specification of aworkflow model. To ensure synchronization between appropriate nets wesuccessfully use special methods called synchronous ports.

Keywords

Workflow, Workflow management system, Object Oriented Petri Nets, Synchronous ports

Key words in English

Workflow, Workflow management system, Object Oriented Petri Nets, Synchronous ports

Authors

KOČÍ, R.; TURAKHODJAEVA, N.

Released

23.04.2005

Publisher

Marq software s.r.o.

Location

Ostrava

ISBN

80-86840-10-7

Book

Proceedings of MOSIS'05

Pages from

120

Pages to

127

Pages count

8

BibTex

@inproceedings{BUT21503,
  author="Radek {Kočí} and Nasibakhon {Turakhodjaeva}",
  title="Workflow modeling with Petri nets in Workflow Management Systems",
  booktitle="Proceedings of MOSIS'05",
  year="2005",
  pages="120--127",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-10-7"
}