Result Details

Workflow modeling with Petri nets in Workflow Management Systems

KOČÍ, R.; TURAKHODJAEVA, N. Workflow modeling with Petri nets in Workflow Management Systems. Proceedings of MOSIS'05. Ostrava: Marq software s.r.o., 2005. p. 120-127. ISBN: 80-86840-10-7.
Type
conference paper
Language
English
Authors
Kočí Radek, Ing., Ph.D., DITS (FIT)
Turakhodjaeva Nasibakhon, Ing.
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

Published
2005
Pages
120–127
Proceedings
Proceedings of MOSIS'05
Conference
MOSIS2005 - 39th Spring International Conference on Modelling and Simulation of Systems
ISBN
80-86840-10-7
Publisher
Marq software s.r.o.
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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-10-7"
}
Projects
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-12-31, completed
Departments
Department of Intelligent Systems (DITS)
Back to top