ALGORITMUSOK KIDOLGOZÁSA LOGIKAI, IDŽ ÉS MEGBÍZHATÓSÁGI FELTÉTELÉKET TELJESÍTŽ FOLYAMATHÁLÓZATOK SZINTÉZISÉHEZ