Перегляд за автором "Iwaniak, M."

Сортувати за: Порядок: Результатів:

  • Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants 
    Iwaniak, M.; Khadzhynov, W. (Реєстрація, зберігання і обробка даних, 2013)
    In this work the usage of Coloured Petri Net for modeling and simulation of Two Phase Commit protocol with multiple cohorts is presented. Brief overview of Coloured Petri Nets is introduced. Two-Phase Commit protocol is ...
  • Distributed Transactions Modeling with the Use of Petri Nets 
    Iwaniak, M.; Khadzhynov, W. (Реєстрація, зберігання і обробка даних, 2012)
    The attempt of using ordinary Petri Net to model and study Three-Phase Commit protocol (3PC) is presented. A brief overview of Petri Nets is introduced. The nature of typical and distributed transactions are explained. ...