Towards Efficient Verification of Elementary Object Systems

Berndt Muller, Ismaila Jihad Abdullahi

Research output: Contribution to conferencePaperpeer-review

83 Downloads (Pure)

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 verification feasible.
Original languageEnglish
Pages86-100
Publication statusPublished - 28 Sep 2016
Event25th international Workshop on Concurrency, Specification and Programming - Rostock, Germany
Duration: 28 Sep 201630 Sep 2016
Conference number: 25
http://www2.informatik.hu-berlin.de/csp2016/program.html

Conference

Conference25th international Workshop on Concurrency, Specification and Programming
Country/TerritoryGermany
CityRostock
Period28/09/1630/09/16
Internet address

Keywords

  • Elementary Reference-net System
  • nets-within-nets
  • Petri nets
  • isomorphic property
  • computational complexity

Fingerprint

Dive into the research topics of 'Towards Efficient Verification of Elementary Object Systems'. Together they form a unique fingerprint.

Cite this