transaction model, value oriented business process modeling, petri nets, REA ontology

The paper proposes a new transaction model for value oriented business process modeling based on the Resources Events Agents (REA) enterprise ontology. The transaction model is formalized by the Petri Net theory. First part of the paper introduces common business processes and analyses general transactional model approaches in business processes. Second part defines the transactional model with respect to the REA enterprise ontology and defines the transaction model states. The model itself is defined and visualized by the Petri Net modeling tool. Third part shows practical example of the proposed transaction model. Last part of the paper concludes results and discusses a practical usability of the proposed transaction model.