Behavior Consistency Analysis Based on the Behavior Profile about Transition Multi-Set of Petri Net

摘要

Duplicate activities often appear in the business process modeling, analyzing the consistency of corresponding model containing duplicate activities is a problem , the existing behavior consistency methods can not analyze effectively the process model with the multi-set of transition. In the paper, by analyzing of three kinds of weak order relations of multi set of transition, a kind of consistency measure methods based on behavior profile of multi-sets of transitions of Petri net is proposed. Finally, an example is given out, which shows the method is effective.%W artykule przedstawiono metod? okre?lenia regularno?ci zwi?zków s?abych w systemie wielow?tkowym o powielaj?cych si? danych. Analiza, trzech wybranych rodzajów relacji oparta zosta?a na profilu wielow?tkowej sieci Petriego. Opisano tak?e przyk?ad, potwierdzaj?cy skuteczno?? dzia?ania.