We show how a particular flavor 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 hiearchic nets can be implemented in a transaction-based smart contract environment.
翻译：我们展示了一种特殊的等级网的味道,即家长网转型的开销必须与某些儿童网的开销相对应,如何可以仿照从代表家长网的免费类别 -- -- 即家长网 -- -- 到他们之间的组合和范围等类的交替语义学。这种语义学可以通过Grothendieck的建筑进行内部化,从而产生代表整个等级网的语义的Petri网处决类别。我们通过对如何在基于交易的智能合同环境中执行我们的等级网模式进行面向工程的概述来结束这份文件。
相关内容
微信扫码咨询专知VIP会员