No Cover Image

Conference Paper/Proceeding/Abstract 546 views 46 downloads

Towards Efficient Verification of Elementary Object Systems

Ismaila Abdullahi, Bertie Muller

Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Volume: 1698, Pages: 86 - 100

Swansea University Author: Bertie Muller

Abstract

Elementary Object Systems (EOS) is a class of Object Petri Nets that follows the “nets-within-nets” paradigm. It combines several practical as well as theoretical properties for the needs of multi-agent-systems. However, it comes with some constraints that limit their expressiveness for automatic ve...

Full description

Published in: Proceedings of the 25th International Workshop on Concurrency, Specification and Programming
ISSN: 1613-0073
Published: Rostock, Germany Concurrency, Specification, and Programming (CS&P 2016) 2016
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa50306
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: Elementary Object Systems (EOS) is a class of Object Petri Nets that follows the “nets-within-nets” paradigm. It combines several practical as well as theoretical properties for the needs of multi-agent-systems. However, it comes with some constraints that limit their expressiveness for automatic verification purposes due to the highly expressive nature of the underlying class of Petri nets. In this paper, we proposed a set of transformation rules from EOS to basic Petri nets nets and show isomorphism of the state spaces in order to make veri- fication feasible.
Keywords: Elementary Reference-net System, nets-within-nets, Petri nets, isomorphic property, computational complexity
College: Faculty of Science and Engineering
Start Page: 86
End Page: 100