续订 swMATH ID: 4387 软件作者： 奥拉夫·库默；弗兰克·温伯格（Frank Wienberg）；迈克尔·杜维涅奥（Michael Duvigneau）；乔恩·舒马赫；迈克尔·科勒；丹尼尔·莫尔特（Daniel Moldt）；Rölke，Heiko；吕迪格·瓦尔克 描述： Renew是一个基于Java的多形式编辑器和模拟器，它提供了一种基于但不限于参考网的灵活建模方法。Petri网是描述并发系统的一种成熟方法。多年来，人们对基本形式主义提出了许多扩展，以解释抽象数据类型、面向对象、层次结构或新的弧类型。其中包括参考网形式主义，其中标记可以引用任意对象，尤其是其他网络，从而允许嵌套网络模型。它支持Java铭文，具有内置的List和Tuple类型，提供测试、约束和灵活的弧，并具有强大的同步机制。 主页： 网址：http://www.renew.de/ 相关软件： 莫德;利比亚DDD;鹦鹉螺;踪迹;洛拉;LOEWE公司;ITS工具;凯撒.bdd;梅德利;PNMC公司;凯撒;NUPN_信息;PNML2NUPN标准;彼得里韦布;Exp.未结;LTS最小值;CADP公司;TINA公司;LOTOS公司;GreatSPN公司 引用于： 17文件 标准条款 2出版物描述软件，包括2出版物以zbMATH为单位 年份 使用nets-within-nets建模动态架构。 Zbl 1128.68373号劳伦斯·卡巴克;迈克尔·杜维诺;丹尼尔·莫尔特;海科·Rölke 2005 Petri网的可扩展编辑器和模拟引擎：更新。 Zbl 1094.68589号奥拉夫·库默;弗兰克·温伯格;迈克尔·杜维涅奥;乔恩·舒马赫;迈克尔·科勒;丹尼尔·莫尔特;海科·Rölke;吕迪格·瓦尔克 2004 全部的 前5名27位作者引用 4 迈克尔·科勒-布·迈耶 4 海科·Rölke 三 洛伦佐·卡普拉 三 迈克尔·杜维涅奥 三 丹尼尔·莫尔特 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 弗兰克·温伯格 5篇连载文章中引用 2 计算机基础理论 1 信息学报 1 理论计算机科学 1 离散事件动态系统 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 16 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 运筹学、数学编程（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文