×

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号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

续订;PNML公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部