众所周知,Petri网以其图形化的表现形式、众多的分析方法和坚实的数学基础,成为研究离散事件系统的建模工具之一。尽管众多学者对P......

智能机器人是一个对外界环境高度开放的智能系统,由一系列具有独立问题求解能力的子系统组合而成。机器人各子系统在自主地完成各......

水下无人探测器系统处于一种复杂的水下环境当中，系统仿真试验具有很大的难度。环境的限制和资金的巨大耗费导致对水下无人探测器的......

随着面向对象的软件开发技术的迅速发展和应用,面向对象的测试技术成为研究的热点问题。在面向对象软件中,由于类之间消息传递的复......

面向对象技术的发展,出现了众多的面向对象的建模语言,其中统一建模语言UML作为一种定义良好、功能强大的图形化建模语言得到广泛......

我们利用Ｐｅｔｒｉ网描述协议的方法，对ＬＡＰＤ协议的连接建立过程进行了形式描述，然后对ＬＡＰＤ协议的有界性、活性和保守性等性质进行了验证。 We use the......

双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一.Petri网是一种描述和验证密码协议的有效手段.......