The Petri Net API A Collection of Petri Net-related Functions

The Petri Net API A Collection of Petri Net-related Functions
复制标题

Petri Net API Petri Net 相关函数的集合

DOI：
--
复制
发表时间：
2010
期刊：
Algorithmen und Werkzeuge für Petrinetze
影响因子：
--
通讯作者：
Christian Sura
Christian Sura
中科院分区：
--
文献类型：
--
作者：
Niels Lohmann;Stephan Mennicke;Christian Sura

文献摘要

被引文献

相似文献

.本文介绍了Petri网API，一个与Petri网相关的函数的C++库。Petri网API目前用于十几种Petri网工具，从编译器到验证工具。
. This paper introduces the Petri Net API, a C ++ library of Petri net-related functions. The Petri Net API is currently used in more than a dozen Petri net tools, ranging from compilers to verification tools.