×

续订

swMATH ID: 4387
软件作者： 奥拉夫·库默；弗兰克·温伯格（Frank Wienberg）；迈克尔·杜维涅奥（Michael Duvigneau）；乔恩·舒马赫；迈克尔·科勒；丹尼尔·莫尔特；Rölke，Heiko；吕迪格·瓦尔克
描述： Renew是一个基于Java的多形式主义编辑器和模拟器，它提供了一种基于但不限于参考网的灵活建模方法。
Petri网是描述并发系统的一种成熟方法。多年来，人们对基本形式主义提出了许多扩展，以解释抽象数据类型、面向对象、层次结构或新的弧类型。
其中包括参考网形式主义，其中标记可以引用任意对象，尤其是其他网络，从而允许嵌套网络模型。它支持Java铭文，具有内置的List和Tuple类型，提供测试、约束和灵活的弧，并具有强大的同步机制。
主页： 网址：http://www.renew.de/
相关软件： 利比亚DDD；莫德；洛拉；LOEWE公司；ITS工具；凯撒.bdd；梅德利；PNMC公司；凯撒；NUPN_信息；PNML2NUPN标准；彼得里韦布；Exp.未结；LTSmin公司；CADP公司；TINA公司；LOTOS公司；GreatSPN公司；木兰/卡帕；图像NetDiff
引用于： 16文件

标准条款

2出版物描述软件，包括2出版物以zbMATH为单位 年份
使用nets-within-nets建模动态架构。 Zbl 1128.68373号
劳伦斯·卡巴克；迈克尔·杜维涅奥；丹尼尔·莫尔特；海科·Rölke
2005
Petri网的可扩展编辑器和模拟引擎：更新。 Zbl 1094.68589号
奥拉夫·库默；弗兰克·温伯格；迈克尔·杜维涅奥；乔恩·舒马赫；迈克尔·科勒；丹尼尔·莫尔特；海科·Rölke；吕迪格·瓦尔克
2004
全部的 前5名

27位作者引用

4 海科·Rölke
三 迈克尔·杜维诺
三 迈克尔·科勒-布·迈耶
三 丹尼尔·莫尔特
2 劳伦斯·卡巴克
2 洛伦佐·卡普拉
2 查尔斯·拉科斯。
2 吕迪格·瓦尔克
1 贝茨，托比亚斯
1 卡米利、马蒂奥
1 戴维·德·弗鲁托斯·埃斯克里格
1 休伯特·加拉维
1 谢尔盖·哈达德
1 亚历山大·哈麦斯
1 Fabrice Kordon公司
1 克里斯滕森，拉尔斯·迈克尔
1 奥拉夫·库默
1 简·奥尔特曼
1 丹尼斯·波特雷诺
1 费尔南多·罗莎·维拉多
1 乔恩·舒马赫
1 克里斯蒂安·斯塔尔
1 蒂埃里·米格，Yann
1 Wil M.P.范德阿尔斯特。
1 托马斯·瓦格纳。
1 马提亚斯·韦斯特·埃宾豪斯
1 弗兰克·温伯格

4篇连载文章中引用

2 计算机基础理论
1 信息学报
1 离散事件动态系统
1 程序设计中的逻辑和代数方法杂志

在4个字段中引用

15 计算机科学（68至XX）
1 总体主题；集合（00-XX）
1 运筹学、数学规划（90-XX）
1 系统论；控制（93至XX）

按年份列出的引文