On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs

Authors:
Ludwik Czaja;Manfred Kudlek
Affiliations:
Institute of Informatics, Warsaw University, Banacha 2, Warsaw, Poland and University of Economics and Computer Science in Warsaw, lczaja@mimuw.edu.pl;(Correspd.) Fachbereich Informatik, MIN-Fakultät, Universität Hamburg, DE, Vogt-Kölln-Straße 30. D-22527 Hamburg, Germany. kudlek@informatik.uni-hamburg.de
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Year:
2011

Citing 2
Cited 0

Verification of Workflow Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Analysis and Synthesis of Net Structures and Transition Graphs

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show that the results on analysis of net structures and transition graphs exhibited in [1] can be apllied also to generalized work flow net structures and related transition graphs.