Conference Paper/Proceeding/Abstract 724 views 90 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
-
PDF | Accepted Manuscript
Download (1.08MB)
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...
| 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 |