Petri-háló modellek folyamatszintézis-alapú analízise

Abstract

Resource allocation and scheduling optimization problems are core problems in the field of IT systems. However, such problems frequently underlay several additional constraints and the formalization of a reál life problem requires a well-defined mathematical and modeling approach providing an integrated verification and optimization. We propose such methods adapting Process Network Synthesis algorithms to the Petri net model: