Detail publikace

Verification of Worklow Management Systems described by Object-Oriented Petri Nets

ČEŠKA, M., TURAKHODJAEVA, N.

Originální název

Verification of Worklow Management Systems described by Object-Oriented Petri Nets

Anglický název

Verification of Worklow Management Systems described by Object-Oriented Petri Nets

Jazyk

en

Originální abstrakt

Object-Oriented Petri Nets (OOPN) is suitable for modeling and analysis of concurrent systems. Workflow management system (WfMS) is a software package that can be used to support the definition, management and execution of workflow processes. The PNtalk, based on Object-Oriented Petri Nets can be used to analyze processes in the context of workflow management. This article presented the verification of workflow systems.

Anglický abstrakt

Object-Oriented Petri Nets (OOPN) is suitable for modeling and analysis of concurrent systems. Workflow management system (WfMS) is a software package that can be used to support the definition, management and execution of workflow processes. The PNtalk, based on Object-Oriented Petri Nets can be used to analyze processes in the context of workflow management. This article presented the verification of workflow systems.

Dokumenty

BibTex


@inproceedings{BUT18075,
  author="Milan {Češka} and Nasibakhon {Turakhodjaeva}",
  title="Verification of Worklow Management Systems described by Object-Oriented Petri Nets",
  annote="Object-Oriented Petri Nets (OOPN) is suitable for modeling and analysis of concurrent systems. Workflow management system (WfMS) is a software package that can be used to support the definition, management and execution of workflow processes. The PNtalk, based on Object-Oriented Petri Nets can be used to analyze processes in the context of workflow management. This article presented the verification of workflow systems.",
  booktitle="Proceedings of XXVIIth International Autumn Colloquium ASIS 2005",
  chapter="18075",
  year="2005",
  month="september",
  pages="189--198",
  type="conference paper"
}