Ахмадікатоулі, Аліасгхар2014-01-212014-01-212011Ахмадікатоулі А. Перетворення бізнес моделі на моделі мереж Петрі / Аліасгхар Ахмадікатоулі // Комп'ютерні науки та інженерія : матеріали V Міжнародної конференції молодих вчених CSE-2011, 24–26 листопада 2011 р., Україна, Львів / Національний університет "Львівська політехніка". – Львів : Видавництво Львівської політехніки, 2011. – C. 20–23. – (3-й Міжнародний молодіжний фестиваль науки "Litteris et Artibus"). – Титульний аркуш та текст паралельно англійською. – Бібліографія: 16 назв.https://ena.lpnu.ua/handle/ntb/22555This paper presents a methodology to transform business designs written in SBVR into petri nets models. This helps business people in an organization have no knowledge of formal language understand the semantic of business rules in graphical representations. Business rules are clearly important because these business rules govern functions and resources in a business process. These rules also enable applications flexible and amenable to change in an information system. This approach presented here aims to transform rules and business vocabularies by distinguish between different rules into petri nets. On the basis of this transformation we are able to accomplish the verification of given rules.uaBusiness Process ModelingBusiness Rude ModelingBusiness ruleSBVRPetri netsArticle