Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios

Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios

Show other versions (1)

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 op...

Full description

Bibliographic Details
Main Authors: M. G. Dorrer, V. V. Kurokhtin
Format: Article
Language:English
Published: Yaroslavl State University 2015-02-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
invariant
petri net
optimization
integration tesing
Online Access:https://www.mais-journal.ru/jour/article/view/47

Similar Items

Similar Items