No Cover Image

Conference Paper/Proceeding/Abstract 551 views 47 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

Check full text

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!
first_indexed 2019-10-15T04:34:13Z
last_indexed 2020-06-16T19:03:18Z
id cronfa50306
recordtype SURis
fullrecord <?xml version="1.0" encoding="utf-8"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><bib-version>v2</bib-version><id>50306</id><entry>2019-05-10</entry><title>Towards Efficient Verification of Elementary Object Systems</title><swanseaauthors><author><sid>a9373756f492363d8453ecf3b828b811</sid><firstname>Bertie</firstname><surname>Muller</surname><name>Bertie Muller</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2019-05-10</date><deptcode>SCS</deptcode><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.</abstract><type>Conference Paper/Proceeding/Abstract</type><journal>Proceedings of the 25th International Workshop on Concurrency, Specification and Programming</journal><volume>1698</volume><journalNumber/><paginationStart>86</paginationStart><paginationEnd>100</paginationEnd><publisher>Concurrency, Specification, and Programming (CS&amp;P 2016)</publisher><placeOfPublication>Rostock, Germany</placeOfPublication><isbnPrint/><isbnElectronic/><issnPrint/><issnElectronic>1613-0073</issnElectronic><keywords>Elementary Reference-net System, nets-within-nets, Petri nets, isomorphic property, computational complexity</keywords><publishedDay>28</publishedDay><publishedMonth>9</publishedMonth><publishedYear>2016</publishedYear><publishedDate>2016-09-28</publishedDate><doi/><url>http://ceur-ws.org/Vol-1698/CS&amp;amp;P2016_09_Abdullahi&amp;amp;Mueller_Towards-Efficient-Verification-of-Elementary-Object-Systems.pdf</url><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2023-05-22T15:09:21.7645818</lastEdited><Created>2019-05-10T10:56:22.6269765</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Ismaila</firstname><surname>Abdullahi</surname><order>1</order></author><author><firstname>Bertie</firstname><surname>Muller</surname><order>2</order></author></authors><documents><document><filename>0050306-10052019225544.pdf</filename><originalFilename>CSP2016_09_AbdullahiMueller_Towards-Efficient-Verification-of-Elementary-Object-Systems.pdf</originalFilename><uploaded>2019-05-10T22:55:44.5900000</uploaded><type>Output</type><contentLength>1146936</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2019-05-10T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling v2 50306 2019-05-10 Towards Efficient Verification of Elementary Object Systems a9373756f492363d8453ecf3b828b811 Bertie Muller Bertie Muller true false 2019-05-10 SCS 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. Conference Paper/Proceeding/Abstract Proceedings of the 25th International Workshop on Concurrency, Specification and Programming 1698 86 100 Concurrency, Specification, and Programming (CS&P 2016) Rostock, Germany 1613-0073 Elementary Reference-net System, nets-within-nets, Petri nets, isomorphic property, computational complexity 28 9 2016 2016-09-28 http://ceur-ws.org/Vol-1698/CS&amp;P2016_09_Abdullahi&amp;Mueller_Towards-Efficient-Verification-of-Elementary-Object-Systems.pdf COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2023-05-22T15:09:21.7645818 2019-05-10T10:56:22.6269765 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Ismaila Abdullahi 1 Bertie Muller 2 0050306-10052019225544.pdf CSP2016_09_AbdullahiMueller_Towards-Efficient-Verification-of-Elementary-Object-Systems.pdf 2019-05-10T22:55:44.5900000 Output 1146936 application/pdf Accepted Manuscript true 2019-05-10T00:00:00.0000000 true eng
title Towards Efficient Verification of Elementary Object Systems
spellingShingle Towards Efficient Verification of Elementary Object Systems
Bertie Muller
title_short Towards Efficient Verification of Elementary Object Systems
title_full Towards Efficient Verification of Elementary Object Systems
title_fullStr Towards Efficient Verification of Elementary Object Systems
title_full_unstemmed Towards Efficient Verification of Elementary Object Systems
title_sort Towards Efficient Verification of Elementary Object Systems
author_id_str_mv a9373756f492363d8453ecf3b828b811
author_id_fullname_str_mv a9373756f492363d8453ecf3b828b811_***_Bertie Muller
author Bertie Muller
author2 Ismaila Abdullahi
Bertie Muller
format Conference Paper/Proceeding/Abstract
container_title Proceedings of the 25th International Workshop on Concurrency, Specification and Programming
container_volume 1698
container_start_page 86
publishDate 2016
institution Swansea University
issn 1613-0073
publisher Concurrency, Specification, and Programming (CS&P 2016)
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url http://ceur-ws.org/Vol-1698/CS&amp;P2016_09_Abdullahi&amp;Mueller_Towards-Efficient-Verification-of-Elementary-Object-Systems.pdf
document_store_str 1
active_str 0
description 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.
published_date 2016-09-28T15:09:20Z
_version_ 1766603683312697344
score 10.997843

Similar Items