%0 Journal Article
%T Studies about Schedulability Analysis of Timing Constraint Petri Nets<br>时间约束Petri网的可调度性分析研究
%A 李慧芳
%A 李人厚
%J 计算机科学
%D 2000
%I 
%X 1 引言时间约束Petri网(Timing Constraint PetriNets,TCPN’s)是具有广义时间约束的Petri网,它综合了时间Petri网)(Time Petri Nets)和赋时Petri网(Timed Petri Nets)的共同特点,具有经典Petri网的理论基础和额外的时间约束能力。在实时系统建模中,它可对其它与时间有关的Petri网所不能描述的冲突结构进行建模和分析。TCPN’s使用弱触发规则,即:使能的变迁可触发也可不触发,完全由调度者决
%K 时间约束
%K Petri网
%K 可调度性
%K 实时系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=5D4327818511845D&yid=9806D0D4EAA9BED3&vid=DB817633AA4F79B9&iid=38B194292C032A66&sid=13553B2D12F347E8&eid=659D3B06EBF534A7&journal_id=1002-137X&journal_name=计算机科学&referenced_num=3&reference_num=4