层次Petri网的范畴语义
A Categorical Semantics for Hierarchical Petri Nets
摘要：
我们展示了如何一个特定的各种层次网，在父网络中的过渡发射必须对应于在一些子网络中的执行，可以利用一个函子语义建模从一个自由的类别-代表父网络-到集范畴类和它们之间的跨度。这种语义可以通过Grothendieck构造内在化，从而产生表示整个层次网的语义的Petri网的执行类别。最后，我们给出了一个面向工程的概述，说明我们的分层网络模型如何在基于交易的智能合约环境中实现。
英文摘要：
We show how a particular variety of hierarchical nets, where the firing of a transition in the parent net must correspond to an execution in some child net, can be modelled utilizing a functorial semantics from a free category -- representing the parent net -- to the category of sets and spans between them. This semantics can be internalized via Grothendieck construction, resulting in the category of executions of a Petri net representing the semantics of the overall hierarchical net. We conclude the paper by giving an engineering-oriented overview of how our model of hierarchical nets can be implemented in a transaction-based smart contract environment.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
