首页> 中文会议>第十二届全国petri网理论与应用学术年会 >国际Petri网理论与应用最新研究进展

国际Petri网理论与应用最新研究进展

页面导航

摘要
著录项
相似文献
相关主题

摘要

第29届Petri网应用与理论及其他并发模型国际会议(简称PETRINETS 2008)于2008年6月在西安召开。对会议论文集收录的全部23篇论文进行了研究和综述,从模型检测理论与应用、Petri网的步语义问题、Petri网合成,Petri网展开、Petri网建模与验证,Petri网工具等方面归纳介绍了当前国际Petri网理论与应用研究的最新进展与发展趋势。

著录项

来源
《第十二届全国petri网理论与应用学术年会》|2009年|51-54|共4页
会议地点天津
作者
张曼; 单志广;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类理论、方法;
关键词
Petri网; 模型检测; 建模验证;

相似文献

中文文献
外文文献
专利

1. “领导力研究进展：理论与应用”国际学术研讨会在上海行政学院召开 [J] . . 领导科学论坛 . 2012,第011期
2. “领导力研究进展：理论与应用”国际学术研讨会在上海行政学院召开 [J] . . 领导科学论坛 . 2012,第011期
3. 计算智能的理论与应用研究进展--FLINS2002计算智能系统国际会议简况 [J] . 秦克云 . 学术动态（成都） . 2002,第004期
4. 建模思想在《Petri网理论与应用》教学中的渗透 [J] . 王丽丽 ,方贤文 . 电脑知识与技术 . 2020,第035期
5. 第十五届全国Petri网理论与应用学术年会征文通知 [J] . . 计算机科学 . 2015,第2期
6. 国际心脏移植最新研究进展——聚焦2006年西班牙马德里第26届国际心肺移植协会(ISHLT)年会 [C] . 张海波 ,孟旭 . 第四届五洲国际心血管病研讨会 . 2006
7. 基于Petri网模型的高校国际业务信息管理系统设计与实现 [A] . 李岩 . 2017

国际Petri网理论与应用最新研究进展

摘要

著录项

相似文献

相关主题

期刊订阅