【摘 要】
：
该论文将Petri网理论与面向对象相结合,提出了一种新的面向对象Petri网模型-NOOPN.该模型基于面向对象语言SmallTalk的面向对象性,加上并发性和多态变迁而组成,它允许消息传
论文部分内容阅读
该论文将Petri网理论与面向对象相结合,提出了一种新的面向对象Petri网模型-NOOPN.该模型基于面向对象语言SmallTalk的面向对象性,加上并发性和多态变迁而组成,它允许消息传递、等待和接收响应、创建新的对象、执行原始操作等.在NOOPN中,把对象看作活动的服务器,对象提供的服务和对象的独立活动用高级Petri网描述,即,用对象网描述对象的内部活动,用网中的托肯表示对对象的引用,而用方法网描述这些对象如何响应消息.每个类封装一个对象网和一组相关的方法网以及一组同步端口,类的继承由对象网、方法网以及同步端口的继承定义.每个对象都是某个类的一个实例,由该类的对象网的一个实例与当前正在运行的方法网的实例组成.该文首先介绍了面向对象分析和设计的基本概念与Petri网的一些成果,然后给出了NOOPN静态结构的形式化定义.在讨论NOOPN的动态行为时,给出了事件的分类,并给出了每类事件引发的条件以及引发后标识变化的形式化定义.在此基础上,给出了NOOPN状态空间的形式化定义.最后给出了哲学家就餐问题的NOOPN模型,该模型对经典哲学家就餐问题进行修改,系统中可以有任意多位哲学家,每位哲学家可以随时加入系统.
其他文献
隐马尔可夫模型(Hidden Markov Model,HMM)是一种概率模型,它假定观测序列是由包含若干隐状态的马尔可夫过程产生的。HMM在语音、手写体、运动轨迹识别和生物信息学等领域有
本文主要讨论仿生智能计算方法。经过千万年的演化，大自然展现出了惊人的高效性。探寻并模拟其机理不仅可以应用于各种实际工程问题，并有助于我们对智能本质的最终认识。 本
该课题采用微机检测和模拟屏显示相结合的方式,研制了35KV变电所自动化模拟屏系统.该系统用多台单片机对35KV充电所的主变压器、6～10KV各段母线分别进行数据采集与工作状况检
该文提出采用CORBA/Java技术实现软件集成,将客户机/服务器应用模式、Web以及分布式对象技术有机结合起来,满足了智能建筑分布异构环境中的对象互操作、可扩展性等要求.该文
随着集成电路的出现和快速发展,特别是片上系统SoC技术的应用,出现了一批低价位、高性能、低功耗的新型微处理器,例如MIPS、ARM等,这些高性能、高速度的32位微处理器的出现不
随着Internet的高速发展,基于传统构架的网络的局限性日益明显,网络需要新的思想和技术,Active Networks应运而生.该文介绍了Active Networks的概念、历史、框架结构、关键技
自动机理论是研究离散数学系统的功能、结构及其两者关系的数学理论。它旨在研究自动机的分析与综合问题。随着现代科学技术的发展，自动机理论已成为许多学科的重要的理论和应
针对当前ICAI(Intelligent Computer Assisted Instruction)的智能化程度不高的问题,该文介绍了ICAI的研究、应用情况及其发展过程和趋势,提出了两种基于教学控制论的智能教
计算机电话集成(CTI)技术是计算机技术和电信技术相结合的产物,它使计算机风和电信网有机地融为一体,对信息社会起到了至关重要的作用.随着社会的不断进步,CTI技术将得到越来
网络管理的最终目标是实现网络状态实时监视和网络设备自动控制。但目前的网络管理系统还仅能实现单向监视功能，在实时控制、故障自动恢复方面存在较大不足。为了解决这两个难