论文部分内容阅读
时间Petri网是非常适合描述实时系统的模型工具，由于时间的复杂性因素使得它的可达性分析变得非常困难。该文在分析了基于全局时间变量的时间Petri网的可达性算法的基础上，采用OOP技术，实现了一个时间petri的分析工具。
时间Petri网分析工具的实现
【摘 要】
：
时间Petri网是非常适合描述实时系统的模型工具，由于时间的复杂性因素使得它的可达性分析变得非常困难。该文在分析了基于全局时间变量的时间Petri网的可达性算法的基础上，采用
【机 构】
：
安徽工业大学计算机科学系,同济大学计算机科学与工程系
【出 处】
：
计算机工程与应用
【发表日期】
：
2003年15期
【基金项目】
：
国家自然科学基金资助项目(编号:69985004)
其他文献
百姓安居,民生之要,和谐之源。＂十一五＂期间,广西各级各部门把农村危房改造作为保民生、保增长、保稳定的重大举措来抓,强化组织保障,加大人、财、物的投入,同时采取制订规划、
要顺利卖出产品，了解消费者的购买决策过程至关重要。在购买过程的不同阶段，销售员遭遇的阻力也不同。就像人们需要空气、水、食物和房子一样，“控制欲”是人的一种本能需求。从
本文阐述了隧道窑附属设备窑车回车线“拉杆、爬爪执行机构”的工作原理及最优化设计的数学模型，通过运算实例，分析了主要参数的相关性并指出了该机构在常规设计时应注意的问题
最近几年．数据仓维护问题的重心已转移到各信息源并发更新下的视图维护。比较流行的算法，如ECA算法和Strobe算法在解决并发更新问题时需要数据仓处于静止状态。而文中的在线错
目的了解北京三级医院内部绩效考核与薪酬分配机制的期望意向。方法用内容分析法与描述性统计分析方法,比较医院内部绩效考核与薪酬分配机制期望意向。结果两者具有内在的有
金融学家陈志武教授认为．在中国．未来的城市化发展不应该再把压力集中在少数一线、二线城市，因为这些城市到今天已经超负荷．而且如果再继续下去．这些城市的房价上涨压力会难以消退
对于企事业单位管理来讲,职工管理是必须要重视的内容,其中,尤以工会政工工作发挥的作用最为重要。工会是将群众与党组织联系起来的桥梁,在二者之间起着十分关键的作用,特别
网络技术的发展引起会计信息使用者对会计信息的呈报方式和内容产生了新的需求，可扩展商业报告语言XBRL作为专门为公司编制和发布网络财务报告而开发出来的语言，为满足会计信息