François Siewe, Vasileios Germanos, Wen Zeng. Analysing Petri Nets in a Calculus of Context-Aware Ambients. In 44th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2020, Madrid, Spain, July 13-17, 2020. pages 1647-1652, IEEE, 2020. [doi]
Abstract is missing.