Algorithm for Transforming Models of Business Processes
into Monochrome Petri Nets

M. G. Dorrer

Siberian State Technological University, pr. Mira 82, Krasnoyarsk, 660049 Russia

e-mail: mdorrer@mail.ru

Received November 22, 2009

Abstract—An algorithm is proposed that makes it possible to uniquely transform an event-driven model
of business processes in the ARIS EPC format into a monochrome Petri net. The resulting matrix repre-
sentation of a Petri net makes it possible to study the topology of business processes and find cycles and
dead ends. In addition, the matrix representation of a Petri net makes it possible to find net invariants
and thus to find all the variants of the development of business processes.

Keywords: business processes, Petri net, invariant

DOI: 10.3103/S0146411611070066

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.