Open AccessOptimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
Author(s) -
Mikhail Dorrer,
Виталий Валерьевич Курохтин
Publication year - 2015
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2012-4-128-143
Subject(s) - petri net , notation , computer science , invariant (physics) , automation , process architecture , process (computing) , business process , stochastic petri net , translation (biology) , programming language , theoretical computer science , work in process , mathematics , engineering , arithmetic , mechanical engineering , biochemistry , operations management , chemistry , messenger rna , mathematical physics , gene
The article describes a method of finding business process invariants basing on a given model in eEPC notation. The method uses an original translation process to build a Petri net corresponding to the source eEPC model, to find its invariants and to translate them back into the eEPC notation. An optimized method of finding Petri net invariants is also offered, based on estimating possible values for separate vector elements (and a group of elements) and combining these values with each other to receive a Petri net invariant. The resulting business process invariants may be used to create integration testing scenarios for an implemented automation system.