基于Petri网分析编排的可实现性

基于Petri网分析编排的可实现性

黄苾,代飞,王亚博,莫启,曹涌,王雷光

Analyzing realizability of choreographies using Petri nets

计算机集成制造系统 . 2020, (6): 1548 -1556 . DOI: 10.13196/j.cims.2020.06.011