Petri Net Transformations for Business Processes --- A Survey

摘要: In Process-Aware Information Systems, business processes are often modeled in an explicit way. Roughly speaking, the available process modeling languages can be divided into two groups.Languages from first group preferred by academic people but shunned people, and include Petri nets algebras. These have a proper formal semantics, which allows corresponding models to verified Languages second disliked BPEL, BPMN, EPCs. lack any leads debates on how interpret certain models. Nevertheless, used practice, whereas hardly used. To able use, for example, abundance of net verification techniques models, we need transform these nets. this paper, investigate number transformations that already exist.For every transformation, transformation itself, constructs problematic main applications transformation.