停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第21届ICATPN 2000：丹麦奥胡斯

>主页 >会议和研讨会 >ICATPN公司

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/2000
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/2000
莫根斯·尼尔森,丹恩·辛普森:
2000年Petri网的应用和理论，第21届国际会议，ICATPN 2000，丹麦奥胡斯，2000年6月26日至30日，论文集。计算机科学课堂讲稿1825,施普林格 2000，国际标准图书编号3-540-67693-7

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/an/CortadellaKKLY00文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/CortadellaKKLY00
乔迪·科尔塔德拉,迈克尔·基希内夫斯基,亚历克斯·孔德拉提耶夫,卢西亚诺·拉瓦尼奥,亚历山大·雅科夫列夫:
硬件和Petri网：在异步电路设计中的应用。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/Darondeau00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/Darondeau00网址
菲利普·达伦多:
基于区域的P/T网络综合及其潜在应用。 16-23
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/EngelsHS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/EngelsHS00
格雷戈·恩格斯,瑞科·赫克尔,斯特凡·索尔:
UML——通用建模语言？ 24-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/Larsen00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/Larsen00网址
金·古德斯特兰·拉森:
验证定时和混合系统。 39-42

全文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/BarrarinDF00文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/BallarinDF00
保罗·巴拉里尼,苏珊娜·多纳泰利,朱利安娜·弗朗西斯科尼斯:
参数随机良好成形网和组合建模。 43-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/BestW00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/BestW00
艾克·贝斯特,哈罗·威梅尔:
将k-安全Petri网简化为Pomset-等价的1-安全Petri网络。 63-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/BruniM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/BruniM00
罗伯托·布鲁尼,乌戈·蒙塔纳里:
在零安全网络中执行事务。 83-102
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/CiardoLS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/CiardoLS00
吉安弗兰科·西亚多,杰拉尔德·吕特根,西米尼亚努半径:
异步系统的高效符号状态空间构造。 103-122
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/CouvreurGP00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/CouveurGP00
Jean-Michel Couvreur公司,塞巴斯蒂安·格里维,丹尼斯·波特雷诺:
基于展开图的LTL模型验证器设计。 123-145
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/DeselJL00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/DeselJL00
约格·德塞尔,加布里埃尔·尤哈斯,洛伦兹:
部分代数上Petri网的过程语义。 146-165
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/ElkoutbiK00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/ElkoutbiK00
穆罕默德·埃尔库特比,鲁道夫·K·凯勒:
基于UML场景和高级Petri网的用户界面原型。 166-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/水果-EscrigRA00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/Frutos-EscrigRA00
大卫·德·弗鲁托斯·埃斯克里格,瓦伦特·瓦莱罗·鲁伊斯,奥尔加·马罗金·阿隆索:
时间弧Petri网性质的可判定性。 187-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/GordonB00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/GordonB00
史蒂文·戈登,乔纳森·比林顿:
使用彩色Petri网分析WAP Class 2无线事务协议。 207-226
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/HeL00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/HeL00
凯文·X·何,迈克尔·D·莱蒙:
用n-安全普通Petri网建模的离散事件系统的活性验证。 227-243
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/HusbergTV00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/HusbergTV00
尼赛·赫斯伯格,蒂穆·廷贾勒,Kimmo Varpaaniemi先生:
ISDN-DSS1协议的SDL描述建模与分析。 244-260
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/KleijnK00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/KleijnK00
H.C.M.Kleijn先生,库特尼:
带约束弧的P/T-网的过程语义。 261-281
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/KristensenV00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/KristensenV00网址
拉尔斯·迈克尔·克里斯滕森,安蒂·瓦尔马里:
改进的状态属性问题引导的顽固集方法。 282-302
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/Koutny00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/Koutny00网址
库特尼:
时间Petri网的合成模型。 303-322
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/Lakos00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/Lakos00网址
查尔斯·拉科斯:
彩色Petri网的合成抽象。 323-345
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/LorentsenK00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/LorencenK00
路易丝·洛伦森,拉尔斯·迈克尔·克里斯滕森:
使用彩色Petri网对DANFOSS流量计系统进行建模和分析。 346-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/Mortensen00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/Mortensen00
杰尔德·Höyer Mortensen:
基于有色Petri网模型的代码自动生成方法在访问控制系统中的应用。 367-386
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/PoitrenaudP00文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/PoitrenaudP00
丹尼斯·波特雷诺,Jean-François Pradat-Peyre女士:
LTL模型检查的前聚集和后聚集。 387-408
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/SchnoebelenS00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/SchnoebelenS00
菲利普·施诺贝伦,娜塔莉亚·西多罗娃:
Petri网的互模拟与约简。 409-423
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/Vogler00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/Vogler00网址
沃尔特·福格勒:
异步通信的异步系统的效率。 424-444
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/拜斯特EW00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/BeisterEW00网址
Jochen Beister公司,格诺·埃克斯坦,拉尔夫·沃洛夫斯基:
级联：支持异步控制器综合设计方法的工具内核。 445-454
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/AalstCGHHRT00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/AalstCGHHRT00
Wil M.P.van der Aalst先生,普勒·J·N·德克罗姆,罗伊·R·H·M·J·戈弗德,Kees M.van Hee先生,沃特·霍夫曼,哈乔·A·雷杰尔斯,罗伯特·范德图恩:
Ex Spect 6.4：层次着色Petri网的可执行规范工具。 455-464
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/Schmidt00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/Schmidt00
卡斯滕·施密特:
LoLA：低级分析器。 465-474
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/VerbeekA00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/VerbeekA00
埃里克·维尔贝克,Wil M.P.van der Aalst先生:
Woflan 2.0：基于Petri-Net的工作流诊断工具。 475-484

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。