Analyzing realizability of choreographies using Petri nets
Online:2020-06-30
Published:2020-06-30
Supported by:
Project supported by the National Natural Science Foundation,China(No.61702442,61862065),and the Application Basic Research Project in Yunnan Province,China(No.2018FB105).