No Cover Image

Conference Paper/Proceeding/Abstract 20 views 1 download

Towards Efficient Verification of Elementary Object Systems / 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)
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: College of Science
Start Page: 86
End Page: 100