摘要
本文引进带时间的Petri网,给出分布式数据库中并发控制中的时间标记算法(time stemp)的Petri网形式描述,并利用带时间的Petri网理论分析和验证时间标记法的有关性质。
After a brief introduction to the Timed Petri Net, a Petri Net specification of timestamp algorithm for concurrency control in distributed database is provided, followed by the analysis and demonstration of the relative properties by using the Timed Petri Net theory.
出处
《暨南大学学报（自然科学与医学版）》
CAS
CSCD
1989年第1期17-22,共6页
Journal of Jinan University(Natural Science & Medicine Edition)
关键词
分布式
数据库系统
并发控制
Distributed database systems, Concurrency control, Petri nets
