Publication Details

Workflow modeling with Petri nets in Workflow Management Systems

KOČÍ, R., TURAKHODJAEVA, N. Workflow modeling with Petri nets in Workflow Management Systems. In Proceedings of MOSIS'05. Ostrava: 2005. p. 120-127. ISBN: 80-86840-10-7.
Czech title
Workflow modeling with Petri nets in Workflow Management Systems
Type
conference paper
Language
English
Authors
Kočí Radek, Ing., Ph.D. (DITS)
Turakhodjaeva Nasibakhon, Ing.
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
ISBN
80-86840-10-7
Place
Ostrava
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",
  address="Ostrava",
  isbn="80-86840-10-7"
}
Back to top