奥拉夫·库默;弗兰克·温伯格;迈克尔·杜维涅奥;乔恩·舒马赫;迈克尔·科勒;丹尼尔·莫尔特;海科·Rölke;吕迪格·瓦尔克 Petri网的可扩展编辑器和模拟引擎:更新。 (英语) Zbl 1094.68589号 Cortadella,Jordi(编辑)等人,《Petri网的应用和理论》,2004年。2004年6月21日至25日,第25届国际会议,意大利博洛尼亚ICATPN 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22236-7/pbk)。计算机科学课堂讲稿3099,484-493(2004)。 摘要:Renew是一个支持开发和执行面向对象Petri网的计算机工具,其中包括网络实例、同步通道和无缝Java集成,以便于建模。续订是免费的,包括Java源代码。由于应用领域不断扩大,工具集必须满足越来越多的要求。因此,该工具的体系结构已经过重构,以获得更大的灵活性。现在,新功能允许在概念级别(网络形式)和应用程序级别(例如工作流或代理)上使用插件。有关整个系列,请参见[Zbl 1052.68002号]. 引用于5文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 软件:续订;PNML公司 PDF格式BibTeX公司 XML格式引用 \textit{O.Kummer}等人,Lect。注释计算。科学。3099、484--493(2004年;Zbl 1094.68589) 全文: 内政部