Analysing Petri Nets in a Calculus of Context-aware Ambients
dc.cclicence | CC-BY-NC | en |
dc.contributor.author | Siewe, Francois | |
dc.contributor.author | Germanos, Vasileios | |
dc.contributor.author | Zeng, W. | |
dc.date.acceptance | 2020-05-15 | |
dc.date.accessioned | 2020-05-19T14:39:50Z | |
dc.date.available | 2020-05-19T14:39:50Z | |
dc.date.issued | 2020-07-13 | |
dc.description.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. | en |
dc.funder | No external funder | en |
dc.identifier.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. | en |
dc.identifier.uri | https://dora.dmu.ac.uk/handle/2086/19621 | |
dc.language.iso | en | en |
dc.peerreviewed | Yes | en |
dc.publisher | IEEE | en |
dc.researchinstitute | Cyber Technology Institute (CTI) | en |
dc.subject | CCA | en |
dc.subject | Petri nets | en |
dc.subject | verification | en |
dc.subject | ccaPL | en |
dc.title | Analysing Petri Nets in a Calculus of Context-aware Ambients | en |
dc.type | Conference | en |