建议修改swMATH

感谢您的贡献，我们将尽快将您的建议纳入swMATH尽管我们不能保证。任何贡献都将被手动检查其正确性和相关性，并内部质量保证过程。请注意，我们保留修改任何已提交信息的权利。

个人信息

你的名字*：

你的机构*：

您的电子邮件地址*：

软件元数据

请修改或补充以下信息。

软件包名称*：

软件主页：

软件作者：（例如：马克·史密斯、安东·梅尔）

软件简介：

<trans data-src="DaGen: A tool for automatic translation from DAML-S to high-level Petri nets. ">DaGen：从DAML-S到高级Petri网的自动转换工具。</trans><trans data-src="The Internet provides possibilities for distributed execution of business processes and Web Services. ">Internet为业务流程和Web服务的分布式执行提供了可能。</trans><trans data-src="This caused the emergence of a variety of Web Services that might be composed to accomplish tasks. ">这导致了各种Web服务的出现，这些服务可能被组合起来以完成任务。</trans><trans data-src="To efficiently compose these tasks a simple workflow description no longer suffices. ">要有效地组合这些任务，简单的工作流描述不再足够。</trans><trans data-src="We therefore suggest a description based on high-level Petri nets called reference nets, allowing for the consideration of pre- and post-conditions of services offered on the Internet. ">因此，我们建议一种基于高级Petri网的描述，称为参考网，考虑到在因特网上提供的服务的前后条件。</trans><trans data-src="We demonstrate how DAML-S models can be automatically translated into high-level nets and thus can be directly executed in such contexts, including Petri net based MAS.">我们展示了如何将DAML-S模型自动转换为高级网络，从而可以直接在这样的环境中执行，包括基于Petri网的MAS。</trans>

引用描述软件的已发表文章：
（例如，对于GAP：“GAP 4型系统组织代数算法”，Zbl 0918.68050）

描述软件的关键词：（例如：格氏基、有限元法、偏微分方程等）

适用领域：（如：教育、金融、工程等）

对其他软件的依赖性：（例如：Maple、Matlab等）

当前版本：（例如：1.2）

许可条款：（例如：GPL、商业等）

编程语言：（如：Java、C++、Python等）

操作系统：（例如：Linux、Windows XP等）

接口：（例如：Gnuplot export、C library等）

评论：

SOI-软件对象标识符（DOI）：

SVOI-软件版本对象id:

你自己抄送？

保密与保密
用户的个人资料仅用于执行此项服务，并为用户联络和支持。远至为了履行这项服务，FIZ Karlsruhe有权以电子方式存储和处理用户的个人数据。

您同意使用您的个人资料：
注册该服务后，您接受FIZ Karlsruhe对您的个人数据的上述使用。如果您撤回接受使用您的个人资料或限制对数据的使用、您对服务的访问和权限自动使用服务端。在这种情况下，请联系editor@zbmath.org.
请注意我们的隐私政策.