Analysing Petri Nets in a Calculus of Context-aware Ambients

Date

2020-07-13

Advisors

Journal Title

Journal ISSN

ISSN

DOI

Volume Title

Publisher

IEEE

Type

Conference

Peer reviewed

Yes

Abstract

This paper proposes an approach to analysing and verifying Petri nets using a Calculus of Context-aware Ambients (CCA). We propose an algorithm that transforms a Petri net into a CCA process. This demonstrates that any system that can be specified in Petri nets can also be specified in CCA. Besides, the system can be analysed and verified using the CCA verification tools. We illustrate the practicality of our approach using a case study of the dining cryptographers problem.

Description

Keywords

CCA, Petri nets, verification, ccaPL

Citation

Siewe, F., Germanos, V., Zeng, W. (2020) Analysing Petri Nets in a Calculus of Context-aware Ambients. The 4th IEEE International Workshop on Software Engineering for Smart Systems (SESS), Madrid, Spain, July 2020.

Rights

Research Institute

Cyber Technology Institute (CTI)