当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Logic Signed Petri Net
arXiv - CS - Logic in Computer Science Pub Date : 2020-08-25 , DOI: arxiv-2008.11585
Payal and Sangita Kansal

In this paper,the authors show the versatility of the Signed Petri Net (SPN) introduced by them by showing the equivalence between a Logic Signed Petri Net (LSPN) and Logic Petri Net (LPN).The capacity of each place in all these nets is at most one, i.e.,a place has either zero or one token in it.

中文翻译:

逻辑签名Petri网

在本文中,作者通过展示逻辑签名Petri网(LSPN)和逻辑Petri网(LPN)之间的等价性来展示他们引入的签名Petri网(SPN)的通用性。 所有这些网络中每个地方的容量最多为 1,即一个地方有零个或一个标记。
更新日期:2020-08-27
down
wechat
bug