Behavioral Modeling Technique for Multiple Objects of Software Using Extended Place/Transition Nets with Attributed Tokens

DOI オープンアクセス

説明

This paper shows EPNAT (Extended Place/transition Net with Attributed Tokens) and a modeling technique using it in order to address the problem of EPN. In software modeling using EPN, objects of which the software consists need to be defined individually as sub-EPN models, even if they have the same behavior. However, in software modeling using EPNAT, objects that have the same behavior can be integrated into one sub-EPNAT model, and therefore EPNAT models would be smaller than EPN models.

収録刊行物

詳細情報 詳細情報について

  • CRID
    1390283659853463424
  • DOI
    10.5954/icarob.2020.os14-1
  • ISSN
    21887829
  • 本文言語コード
    en
  • データソース種別
    • JaLC
    • Crossref
    • OpenAIRE
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ