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.