Publication Details

Workflow modeling with Petri nets in Workflow Management Systems

KOČÍ Radek and TURAKHODJAEVA Nasibakhon. Workflow modeling with Petri nets in Workflow Management Systems. In: Proceedings of MOSIS'05. Ostrava, 2005, pp. 120-127. ISBN 80-86840-10-7.

Czech title

Type

conference paper

Language

english

Authors

Kočí Radek, Ing., Ph.D. (DITS FIT BUT)
Turakhodjaeva Nasibakhon, Ing. (DITS FIT BUT)

Keywords

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

Abstract

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

Published

2005

Pages

120-127

Proceedings

Proceedings of MOSIS'05

Conference

MOSIS2005 - 39th Spring International Conference on Modelling and Simulation of Systems , Hradec nad Moravicí, CZ

ISBN

80-86840-10-7

Place

Ostrava, CZ

BibTeX

@INPROCEEDINGS{FITPUB7796,
   author = "Radek Ko\v{c}\'{i} and Nasibakhon Turakhodjaeva",
   title = "Workflow modeling with Petri nets in Workflow Management Systems",
   pages = "120--127",
   booktitle = "Proceedings of MOSIS'05",
   year = 2005,
   location = "Ostrava, CZ",
   ISBN = "80-86840-10-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7796"
}