【摘 要】
：
为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它。为此,提出使用重写逻辑表达Petri网的新方法来探索对Petri网的替代。
【机 构】
：
桂林电子科技大学计算机科学与工程学院
【基金项目】
：
国家自然科学基金（61063039）
论文部分内容阅读
为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它。为此,提出使用重写逻辑表达Petri网的新方法来探索对Petri网的替代。通过把异步并发系统的Petri网图形表达转化为重写逻辑理论,可以更容易和更直接地验证原系统的安全性、活性和可达性等行为属性,而不需要建立标识图或搜索网络不变量。以银行家问题为例,展示模型转化过程,并检测了该模型的无死锁性。结果表明,库所/变迁Petri网可以等效转化为重写规则代数组合的重写逻辑,并能在重写逻辑软件Maude中验证保
其他文献
忠武输气管道干线第七标段线路工程清岩沟隧道穿越长度为1437m，管径为Ф711×10．3mm。清岩沟隧道沿介质流向一侧为斜井，倾斜角度为30°，按气流方向的人口端在清岩沟里。
基于问题的学习（problem-based learning，PBL）是一种与传统数学法不同的全新教学法．它以问题为导向．以学生为中心，采取小组的形武进行自主学习。通过介绍PBL在化学专业课——分析化
一个改计师必须具备文化艺术修养、艺术鉴赏能力和审美意识,才能使产品具有好的功能和外观品质。此外还必需具备科学技术知识,具备相当的工程技术知识，因为工业设计的本质决定
由于嵌入式数控系统对软硬件资源及功耗均有限制,传统的图形用户界面系统不适用于嵌入式数控系统。将Qt4/Embedded用于嵌入式数控系统,通过Qt4/Embedded的信号与槽机制,并结
针对电子整机中起信号传输作用的压板结构，运用ANSYS仿真分析软件．建立压板结构的仿真分析模型，根据实际工作环境中该结构受到一定的预应力，对其进行施加预应力条件下固有特性和
思想政治课结合时事政治材料进行教学，不仅可以调动学生学习兴趣，还可以强化课堂教学效果。本文探讨思想政治课结合时事政治材料进行教学的作用，时事政治材料在教学过程中的运用
电磁波通信在无线大气通信中应用广泛，由于电磁波在海水传输过程中衰减很大而应用受到限制，当发现蓝绿激光在海水中传输存在低损耗特性后，可以使蓝绿激光在水下通信中得到广泛应