摘要
提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能。
An initialization arc is proposed and introduced to high-level time Petri net in this paper. Accordingly an Extended High-Level Time Petri Net(EHLTPN) model is presented. The paper models concurrency transactions of real-time database with EHLTPN. The model not only well describe the phenomena occurring during the data access for concurrency transactions but also has some characteristics same as 2PL-LW protocol such as avoiding useless restarts and useless waits and constructing deadlock-free and serializable scheduling. It can be used to calculate the miss rate, restart rate and complete rate by analyzing reachability of the model.
出处
《系统仿真学报》
CAS
CSCD
2003年第z1期63-66,共4页
Journal of System Simulation
基金
国家863项目(2001AA413020)子项目
国家自然科学基金(69973029
60173053)
计算机科学重点实验室课题(SYSKF0304)。
关键词
初始化弧
扩展高级时间Petri网
实时数据库系统
并发控制
建模
分析
initialization arc
extended high-level time petri net
real-time database system
concurrent control
modeling
analyzing
