-
题名面向对象Petri网建模技术综述
被引量：18
- 1
-
-
作者
舒远仲
刘炎培
彭晓红
陈志勇
-
机构
南昌航空大学信息工程学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第15期3432-3435,共4页
-
基金
江西省自然科学基金项目(2008GZS0033)
江西省工业支撑计划基金项目(20081B01016)
-
文摘
阐述了面向对象技术和Petri网的结合方式,提出了面向对象Petri网的建模过程,给出其详细的建模步骤和流程图,讨论了面向对象Petri网的动态特性分析方法,分析和总结了OOPN、OOCPN、OOAPN以及OOTPN的研究现状和各自建模的利弊,最后对面向对象Petri网的相关技术和发展趋势进行了综述与展望。
-
关键词
PETRI网
面向对象
面向对象着色Petri网
面向对象代数Petri网
面向对象赋时Petri网
-
Keywords
Petri nets
object-oriented
oocpn
OOAPN
OOTPN
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名自动化仓库输送过程调度问题研究
被引量：13
- 2
-
-
作者
田国会
刘长有
徐心和
-
机构
山东工业大学
东北大学
-
出处
《计算机集成制造系统-CIMS》
EI
CSCD
1998年第2期51-54,11,共5页
-
基金
863/CIMS主题资助
-
文摘
自动化仓库中输送系统的工作过程具有典型的离散事件特征。本文基于面向对象着色Ｐｅｔｒｉ网（ＯＯＣＰＮ：Ｏｂｊｅｃｔ－ＯｒｉｅｎｔｅｄＣｏｌｏｒｅｄＰｅｔｒｉＮｅｔｓ）模型，讨论了该过程的死锁分析问题，并给出了死锁避免的最大允许反馈控制策略。
-
关键词
自动化仓库
输送系统
物资配送中心
调度
-
Keywords
Automated Warehouse, Transporting Systems, Discrete Event Dynamic Systems, oocpn
-
分类号
F253.4
[经济管理—国民经济]
-
-
题名面向对象着色Petri网在交互行为描述方面的研究
- 3
-
-
作者
王绘
卢雷
-
机构
山东大学计算机科学与技术学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2008年第S2期167-171,共5页
-
文摘
用面向对象着色Petri网的结构和执行语义描述人机交互的静态结构和动态行为,充分利用着色Petri网和面向对象技术的优点,从形式化、可视化的角度描述交互行为的建模过程,降低了人机交互建模的复杂度,增强了建模系统的可重用性,并以图形编辑器为例进行了验证,给出了面向对象着色Petri网在人机交互行为方面的具体描述,模型与实际系统中的对象可以相对应,易于理解和实现。
-
关键词
着色PETRI网
面向对象
oocpn
用户界面
交互行为设计
-
Keywords
colored petri net
object-oriented technology
oocpn
user interface
interaction designs
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
-
题名基于代数-时态逻辑的象形对象研究
- 4
-
-
作者
胡金柱
舒忠梅
-
机构
华中师范大学计算机科学系
中山大学计算机科学系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第6期726-730,共5页
-
基金
湖北省自然科学基金资助研究项目
-
文摘
本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状 ,分析了对象形式化语义研究的不足 .其次 ,分析了几种主要的系统形式化模型和方法 .然后 ,在我们已研究的“计算机甲骨文象形码输入法”的基础上 ,从时态逻辑的角度定义了象形对象及其约束条件 ,定义了面向对象的有色 Petri网 (OOPEN) ,并应用 OOPEN描述了象形对象的层次结构 .最后 ,我们将代数规范与时态逻辑相结合 ,对象形对象的语义基础进行了一些研究 .
-
关键词
代数-时态逻辑
象形对象
面向对象方法学
代数规范
时态逻辑
逻辑程序设计
-
Keywords
picto object
object oriented methodology
algebraic specification
temporal logic
oocpn
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
