切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Petri网动态运行可视化研究
Petri网动态运行可视化研究
来源 :应用科学学报 | 被引量 : 0次 | 上传用户:chenglian_chen
【摘 要】
:
讨论了可视化开发方法在开发Petri网工具中的应用,描述了Petri网的可视化运行的表现形式,介绍了Petri网可视化运行的设计方法.
【作 者】
:
叶志宝
蒋昌俊
张兆庆
乔如良
【机 构】
:
中国科学院软件技术研究所,同济大学计算机科学与工程系,中国科学院计算技术研究所
【出 处】
:
应用科学学报
【发表日期】
:
2001年3期
【关键词】
:
PETRI网
网运行
可视化运行
并行编程
死锁
PVM验证系统
Petri net
net running
visualizing
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了可视化开发方法在开发Petri网工具中的应用,描述了Petri网的可视化运行的表现形式,介绍了Petri网可视化运行的设计方法.
其他文献
基于残余应力增韧机制的陶瓷材料增强相的极限含量模型及应用
基于残余应力增韧机制,建立了当αp>αm时陶瓷材料增强相的极限含量模型,并结合SiC/TiB2颗粒复合陶瓷材料进行了验证和应用,以此为基础,建立了考虑基体颗粒尺寸与粒径配比时的增
期刊
陶瓷材料
残余应力
增韧机制
极限含量模型
增强相
组分设计
微观结构设计
ceramic material
residual thermal stress
t
高校实验室创新问题的探讨
阐述了21世纪实验室在新形势下如何使实验室功能扩大,全方位的、多样化的为学校教学科研服务的观点.探讨了要使实验室建设与管理适应市场经济,适应创新体制要求,首先要管理思
期刊
实验室改革
实验室创新
实验教学
高校
lab reformation
lab innovation
reform measures
对流干燥过程中物料收缩效应的实验研究
针对一些生物材料在干燥过程中会发生收缩这一特性,以市场上新鲜豌豆为研究对象,测得了该物料在不同干燥条件下的干燥曲线、收缩曲线,引入并求得了体积收缩系数.
期刊
收缩特性
对流干燥
收缩效应
干燥曲线
收缩曲线
体积收缩系数
新鲜豌豆
drying process
shrinkable character
一类执行机构和模型均含不确定性的非线性系统的镇定
运用非线性系统的精确线性化方法,将一类执行机构动态特性及模型本身都有不确定性的仿射非线性系统变换成间接型的带不确定参数的鲁里叶系统,从而解决了这类系统的镇定问题,其主
期刊
非线性系统
镇定
鲁里叶系统
精确线性化
uncertain nonlinear system
stabilization
parameter variable
果树冻害早治疗
<正> 去冬今春以来,由于气温变化剧烈,许多果树遭受严重冻害。果农应根据果树受害的程度及早采取措施,尽量减少损失。 1、树干冻害严重,已造成形成层环形坏死的,应尽快在树干
期刊
果树
冻害
治疗
修剪
接穗
谈全面开放条件下网上实验室建设
在全面开放条件下,如何构建网上实验室作了一些探讨.从长远看,网上实验室的建设与实验室的全面开放是实验教学改革的基础,是实验教学改革与实验室建设向纵深发展的基本条件,
期刊
实验室建设
全面开放式教学
网上实验室
创新人才
allround open experiment teaching
Internet laboratory
苏铁盆景的造景与制作
期刊
苏铁
盆景
造景
制作技术
树桩
代谢产物相关技术在溃疡性结肠炎中的应用研究进展
近年来,溃疡性结肠炎发病率逐渐增高,而其病因及发病机制尚未完全阐明。代谢产物相关技术的兴起与迅速发展为揭示溃疡性结肠炎的病因及发病机制提供了可能性。基于代谢产物的
期刊
代谢产物
溃疡性结肠炎
研究进展
综述
银杏种子后熟生理的研究
以4个品种的银杏种子为试材,研究了不同时期种胚的生长变化规律,结果表明:银杏为典型的胚后熟种子,育苗用种适于9月20日以后,形态完全成熟后采收;12月17日各品种均完成后熟;采后先以
期刊
银杏
种子
后熟生理
层积处理
Ginkgo seeds
delayed-ripening
physiology
stratification treatmen
芍药盆花促成栽培技术研究
选择13个芍药品种进行促花栽培;并以大富贵芍药为试材,进行了不同栽培基质试验,不同容器试验,不同浓度生根粉浸根试验及不同浓度抑制剂施用试验。结果表明:芍药适宜盆花促成栽培的
期刊
芍药
盆花
促成栽培
品种
基质
与本文相关的学术论文