层次Petri网相关论文
教学实验设备属于非标准设备,在Windows2000中必须通过编写设备驱动程序来访问.Windows2000支持WDM设备驱动模型,通过PnP管理器发......
对多主体系统进行准确的描述和分析是保证多主体系统顺利进行的关键因素之一。将主体的动作分为内部动作和外部动作，主体的内部动作......
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强......
引入一种含过程和控制库所的Petri网模型,增强了Petri网的表述能力,扩展了Petri网的应用范围,并以铁路车站信号联锁逻辑中的进路控......
利用用例解决了层次Petri网建模中问题界定和问题细化的两个难点,同时也利用层次Petri网表现了用例中文本形式事件流所无法表现出......
考虑到航空装备维修工作的复杂性,在传统Petri网的基础上,利用层次建模方法,与工作流方法结合,给出基于层次Petri网的工作流网定义......
汽车租赁在中国有着很大的市场,随着市场的逐步成熟,汽车租赁公司的规模在不断地壮大。许多汽车租赁公司都开始提供异地还车的短期......
提出了一种层次Petri网建立多媒体自动售货机销售系统模型。首先给出了层次Petri网在该系统中的形式化定义及描述,运用分层设计、......
