Open AccessModeling Timestamp Ordering Method Using Colored Petri Net
Author(s) -
Saeid Pashazadeh,
Mahdi Rahimi
Publication year - 2015
Publication title -
indian journal of science and technology
Language(s) - Uncategorized
Resource type - Journals
eISSN - 0974-6846
pISSN - 0974-5645
DOI - 10.17485/ijst/2015/v8i35/77633
Subject(s) - petri net , computer science , correctness , timestamp , two phase locking , state space , consistency (knowledge bases) , theoretical computer science , model checking , graph , concurrency , serializability , state (computer science) , distributed computing , algorithm , programming language , database transaction , transaction processing , artificial intelligence , real time computing , mathematics , distributed transaction , statistics