时序Petri网相关论文
在离散事件动态系统的研究中,逻辑层次的建模与控制是一个很重要的方面。由于Petri网的一些特点,例如真并发的语义、易于转换为计算......
基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障......
事务处理对于建立可靠的CORBA应用系统是很关键的,事务处理已经成为分布式应用系统设计的原则。CORBA的一个重要的服务是OMG的提出......
为了优化火电厂管控信息系统,提出了基于时序Petri网的火电厂管控信息系统模型研究。首先提出了时序Petri网的分层建模方法,并给出了......
基于DD—RCM和时序Petri网提出一种优化电厂故障管理系统方法,用DD—RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障......
铝挤压机系统是一个多液压源、多液压缸的系统,难以使用传统的方法进行数字化建模.为了有效地开展AEM的液压系统设计与性能分析,本......
审计系统作为安全信息系统的一个重要组成部分,对于监督系统的正常运行、保障安全策略的正确实施、构造计算机入侵检测系统等都具有......
并发程序的设计、分析和验证已经成为计算机理论界基础理论研究的方向之一.Petri网和时序逻辑被认为是探讨该问题较为有效的两个理......
基于时序Petri网对我国现行网上静态的动态证券交易系统进行了模拟,形式描述及功能正确性验证,应用时序逻辑推理规则,从形式上严格证......
时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全......
基于时序Petri网对温控系统进行建模和性质描述.利用可达图、Büchi自动机和ω-正则表达式理论三者相结合的方法分析得到温控......
在Ada网的基础上,利用时序Petri网为Ada任务程序建模,提出了时序Ada网的概念.利用时序Ada网,可以很好地反映Ada程序的公平性和原子......
行车安全综合监控系统规模大,复杂程度高,且具有不确定性.研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要......
利用时序Petri网对实际问题进行建模,通过Petri网反映系统的物理结构,并利用时序逻辑公式描述系统需求及其相关约束条件,从而通过......