FORMALISM OF PETRINETS WITH TRANSACTSFORBUSINESS PROCESSMODELLING
The article presents modeling of business processes on the basis of Petri nets with transacts and describesformalism of Petri nets with transactsinto the method of component chains. It was particularly developed "Sale" model on the example of flower shop presented on three layers: object, logical and visual for effective administrative decisionstaken.
Keywords: business processes, Petri nets, transacts, modeling of business processes, method of component chains (MCC), types of business process models, multilevel computer model
