Publication 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

conference paper

Language

en

Original 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.

English 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.

Keywords

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

RIV year

2005

Released

23.04.2005

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",
  annote="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.",
  booktitle="Proceedings of MOSIS'05",
  chapter="21503",
  year="2005",
  month="april",
  pages="120--127",
  type="conference paper"
}